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-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.
cross-project-issues-dev mailing list
To unsubscribe from this list, visit https://www.eclipse.org/mailman/listinfo/cross-project-issues-dev