Prohibit 'checkout' and 'cherry-pick' of other project's changes

I've seen people inadvertently checkout a change from one project in a
repository of another, messing up their repos. Although it's something
Git can do, it's almost always an error, so I think it's better to
prohibit it.