[AMBER-Developers] removing unused branches from git.ambermd.org

From: David A Case <david.case.rutgers.edu>
Date: Sat, 20 Feb 2016 10:06:57 -0500

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
Custom Search