Graham Percival wrote:
3. I'm not certain if git-clone sets up everything for doing "git pull origin" and "git push origin".
Yes, it does set things up properly. I first acquired the repo using the git-clone command and now I grab updates just fine with git pull origin. I think these are the only git commands I've ever used. I'm still using diff to make patches.
Jon -- Jonathan Kulp http://www.jonathankulp.com _______________________________________________ lilypond-devel mailing list lilypond-devel@gnu.org http://lists.gnu.org/mailman/listinfo/lilypond-devel
