Fix typo
Fix the admin-scripts for recent changes
Rather than automatically select VC when pinning, just advertise it
Cleaner output when interrupted
Merge pull request #1594 from OCamlPro/no-auto-git-pin

Rather than automatically select VC when pinning, just advertise it