Hi,
Wouldn't it be better to have possibility to pin plugin version via gui as well?
At the moment it is possible only to unpin, and once it is unpinned you can not pin it back. This can lead to accidental unpinning. Think it should be better if either of two is possible:
pin and unpin via gui and manually (plugins in jenkins_home) or
pin and unpin ONLY manually.
BRs