On Wed, Jan 11, 2017 at 1:52 PM, David Kastrup <d...@gnu.org> wrote: > David Nalesnik <david.nales...@gmail.com> writes: > >> On Wed, Jan 11, 2017 at 12:31 PM, David Kastrup <d...@gnu.org> wrote: >>> >>> It's nicer to _remove_ the patch from staging instead of adding the >>> revert on top. However, that requires more skills. I can offer to do >>> this, but you'll still need to remove the patch on your side before >>> trying to push anything else. >>> >> >> Before this email arrived, I already pushed the revert to staging. >> Staging hasn't caught up with master yet. If it's still reasonable to >> remove the commit and revert, that would be appreciated. I could do >> with one fewer blot on the project history in my name! > > I've removed commit and revert from staging. Now you just need to make > sure that you don't repush them on your next attempt to push something: > you probably need some invocation of git reset --hard in order to do so. >
Thank you so much, David! _______________________________________________ lilypond-devel mailing list lilypond-devel@gnu.org https://lists.gnu.org/mailman/listinfo/lilypond-devel
