Re: Commit ID doesn't match with what is claimed to be pushed.

Hello On 14/05/2020 14:55, Carl Sorensen wrote: I've been verifying commits. I have found one that is problematic: https://gitab.com/lilypond/lilypond/-/issues/5531 This issue claims to have been pushed with the commit ID c24f83991b772a65c15b6290cf70d725def117bd  https://codereview.appspo

Re: Commit ID doesn't match with what is claimed to be pushed.

Hello On 14/05/2020 14:55, Carl Sorensen wrote: I've been verifying commits. I have found one that is problematic: https://gitab.com/lilypond/lilypond/-/issues/5531 This issue claims to have been pushed with the commit ID c24f83991b772a65c15b6290cf70d725def117bd  https://codereview.appspot

Commit ID doesn't match with what is claimed to be pushed.

I've been verifying commits. I have found one that is problematic: https://gitab.com/lilypond/lilypond/-/issues/5531 This issue claims to have been pushed with the commit ID c24f83991b772a65c15b6290cf70d725def117bd  https://codereview.appspot.com/560790043 However, this commit is not found i