diff contrib/phab-clean.py @ 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 064eb65d040f
children c102b704edb5
line wrap: on
line diff