[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Commit ID doesn't match with what is claimed to be pushed.
From: |
Carl Sorensen |
Subject: |
Commit ID doesn't match with what is claimed to be pushed. |
Date: |
Thu, 14 May 2020 13:55:28 +0000 |
User-agent: |
Microsoft-MacOutlook/10.10.14.200307 |
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 in the repository when I search by commit.
A commit with the same title, however, is found.
https://github.com/lilypond/lilypond/commit/1d4717d0db37e2906915dfe95a4fc3de990e4f80
And looking through the commit, it appears that all the changes are present.
I assume that the best thing to do is to put the new commit id in a comment on
the issue, and then mark the issue as Status::Verified.
Are there any objections to this action?
Thanks,
Carl
- Commit ID doesn't match with what is claimed to be pushed.,
Carl Sorensen <=