Thanks for working on this! Unfortunately I'm between cities at the moment; I'll try to comment more tomorrow evening.
First thought: I'm a bit leery of adding a "push to staging", since: 1. that clutters up the interface. Sure, it's just one more button, but OTOH that's 25% more buttons. :) 2. it might confuse new contributors, who aren't allowed to push to staging. 3. anybody who's stayed around long enough to get git push ability shouldn't need it. (particularly once I get around to working on my cg patch again) http://codereview.appspot.com/5504092/ _______________________________________________ lilypond-devel mailing list lilypond-devel@gnu.org https://lists.gnu.org/mailman/listinfo/lilypond-devel
