On 2011/08/18 11:21:22, PhilEHolmes wrote:
LGTM too. My suggestion would be to add some instructions about
actually
pushing. It took me a while to convince myself that all that appears
to be
needed is to have an unpushed commit and type "git push".
Yes, it' s really that simple ;-) We should add the advice, though, to do a "git pull -r" immediately before (to get the latest changes from the server), because otherwise the "git push" might fail if someone else has pushed something to master meanwhile. http://codereview.appspot.com/4898058/ _______________________________________________ lilypond-devel mailing list lilypond-devel@gnu.org https://lists.gnu.org/mailman/listinfo/lilypond-devel
