I have re-opened write access at git.ambermd.org. But it's probably good
to be extra careful for a bit: e.g. type "git diff --stat origin/<branchname>"
and "git push -=dry-run" before your next push.
Note: as Dan and Dave C. reported earlier on the list: typing "git diff --stat
origin/master" is not sufficient to see if your master and origin/master are
the same, since this command will not show you things that have been pushed
to origin/master by someone else since the last time you did a "git pull".
...dac
_______________________________________________
AMBER-Developers mailing list
AMBER-Developers.ambermd.org
http://lists.ambermd.org/mailman/listinfo/amber-developers
Received on Fri Apr 20 2012 - 12:00:02 PDT
