[BLACK_FRIDAY] Possible lost commit in the dash.handbook repo

Submitted by Denis Roy @droy

Link to original bug (#560106)

Description

On Friday, Feb. 7, the file server hosting Eclipse Gerrit suffered a hardware failure. While we were able to resume service on a standby node, that node has a delayed sync.

We've identified some changes in your repository that may not be present in the current state. If the file names contain "refs/changes", this would indicate a Gerrit change was either posted, or merged prior to the failure, and that change may not have been replicated.

./dash/org.eclipse.dash.handbook.git/logs/refs/heads/master ./dash/org.eclipse.dash.handbook.git/objects/pack/pack-fbd2e7f71405d7d739dccc7eae4898a7888dc844.pack ./dash/org.eclipse.dash.handbook.git/objects/pack/pack-d3b4a3fd09e501e27791d982c5b0f9dc52d013a2.pack ./dash/org.eclipse.dash.handbook.git/objects/pack/pack-fbd2e7f71405d7d739dccc7eae4898a7888dc844.idx ./dash/org.eclipse.dash.handbook.git/objects/pack/pack-d3b4a3fd09e501e27791d982c5b0f9dc52d013a2.idx ./dash/org.eclipse.dash.handbook.git/refs/heads/master

As your repository may have changed since last Friday, we cannot automatically fix the issue. We recommend you re-sync your workspaces with your repo and make sure those changes are indeed there.