Comment #2 on issue 2590 by [email protected]: GUB release
instructions fail for upload
http://code.google.com/p/lilypond/issues/detail?id=2590
Given that there's generally 12 hours between the previous git fetch and
the push, I think this is a non-trivial problem^Wannoyance.
Does anybody feel like:
1. add a "git fetch" to the top of the post-release copy&paste block
2. add a "if the push fails, try re-running git fetch" in text at the
bottom of point 2 in the post-release copy&paste list.
This can be pushed directly to staging.
