Has the jdt.core git been rolled back?
Locally pulling doesn't provide anything newer than 2021-07-26.
Same for me.
Is this an effect of the recent incident?
Probably, but I don't know. @Webmaster will have to comment.
Any other project seeing similar effects?
Yes. CDT has at least one gerrit from July 31st that has lost a patchset and associated comments. I have them in my email, but they are missing from gerrit:
The metadata in the email is below, and there is no such comment in the gerrit:
Gerrit-Project: cdt/org.eclipse.cdt
Gerrit-Branch: master
Gerrit-Change-Id: I96589e86bee561aa200a4a4487549305765d6409
Gerrit-Change-Number: 183568
Gerrit-PatchSet: 4
Gerrit-Owner: Mat Booth <
mat.booth@xxxxxxxxx>
Gerrit-Reviewer: CDT Bot <
cdt-bot@xxxxxxxxxxx>
Gerrit-Comment-Date: Sat, 31 Jul 2021 20:04:45 +0000
You can also see evidence of the mismatch in CDT's build jobs.
HTH,
Jonah
Stephan
_______________________________________________
cross-project-issues-dev mailing list
cross-project-issues-dev@xxxxxxxxxxx
To unsubscribe from this list, visit https://www.eclipse.org/mailman/listinfo/cross-project-issues-dev