Thanks to Hai (and others?) for removing unused remote branches from the
git.ambermd.org repository. I'd like to encourage others to make similar
changes--but please be *sure* that the branch you are deleting is really no
longer needed.
To delete a remote branch:
git push origin --delete <branchName>
In your working repo, "git branch -a" will still show the newly-deleted remote
branches. To clean up the display, type this:
git remote update origin --prune
...thx...dac
_______________________________________________
AMBER-Developers mailing list
AMBER-Developers.ambermd.org
http://lists.ambermd.org/mailman/listinfo/amber-developers
Received on Sat Feb 20 2016 - 07:30:03 PST
