comparison contrib/vagrant/run-tests.sh @ 44622:7bbb83e4e8de

git: abort when attempting to set a branch Given the mapping we use (namely, a git head is a bookmark), it is better to error out with a hint.
author Josef 'Jeff' Sipek <jeffpc@josefsipek.net>
date Thu, 26 Mar 2020 17:09:34 -0400
parents 8da01b6e7b49
children
comparison
equal deleted inserted replaced
44621:c5653cf2811d 44622:7bbb83e4e8de