Follow-up Comment #2, sr #108714 (project administration): Ok. Thanks.
That works, too.
But the origin/master and origin/HEAD branch heads should be removed, too.
origin/$FOO are just polution in global, bare repos like these.
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/support/?108714>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/
