John Mandereau <john.mander...@gmail.com> writes: > Le lundi 06 août 2012 à 10:48 +0200, David Kastrup a écrit : >> This should actually be more diverse. Before pushing the new >> test-staging, Patchy should redo git fetch. >> >> It should then check that >> >> git log -1 origin/staging..test-staging >> >> has _empty_ output!!!!
And zero exit status (no error): it is conceivable that origin/staging has just been deleted (which only is necessary if you want to drop some commits from it) and not yet replaced by something else, in which case this command will throw an error. > Fortunately enough Patchy seldom takes 11 hours like yesterday, but > very frequent runs make this issue critical indeed. Well, with very frequent runs, the time window for doing a last-minute panic button action is the length of a single run. > I'm working on implementing all this. Great! -- David Kastrup _______________________________________________ lilypond-devel mailing list lilypond-devel@gnu.org https://lists.gnu.org/mailman/listinfo/lilypond-devel
