TO-DROP: git revert -m 1 HEAD # Revert "Merge branch 'debug-update-mail-to-commit-notes'

This reverts commit 9f74d7a, reversing
changes made to c874d34.

Signed-off-by: Johannes Schindelin <[email protected]>

Author: dscho

lib/ci-helper.ts

@@ -262,23 +262,6 @@ export class CIHelper {
             },
         );
         console.timeEnd("fetch Git notes");
-        console.time("forcing `gitgitgadget` notes refs back in time");
-        await git(["update-ref", "refs/notes/gitgitgadget", "07cbd089352a850817060742d649adb4c4c99445"], {
-            workDir: this.workDir,
-        });
-        console.timeEnd("forcing `gitgitgadget` notes refs back in time");
-        if (setupOptions?.needsMailToCommitNotes) {
-            console.time("forcing `commit-to-mail` notes refs back in time");
-            await git(["update-ref", "refs/notes/commit-to-mail", "de5f0ffd77eabc913e560acb4f3303b6e3df4163"], {
-                workDir: this.workDir,
-            });
-            console.timeEnd("forcing `commit-to-mail` notes refs back in time");
-            console.time("forcing `mail-to-commit` notes refs back in time");
-            await git(["update-ref", "refs/notes/mail-to-commit", "92b87ef409b0858d188a371a6af30aa477bc549f"], {
-                workDir: this.workDir,
-            });
-            console.timeEnd("forcing `mail-to-commit` notes refs back in time");
-        }
         this.gggNotesUpdated = true;
         if (setupOptions?.needsUpstreamBranches) {
             console.time("fetch upstream branches");

script/lookup-commit.sh

@@ -68,9 +68,6 @@ update_gitgit_dir () {
 	git -C "$GITGIT_DIR" fetch $git_remote refs/notes/commit-to-mail:refs/notes/commit-to-mail ||
 	die "Could not update refs/notes/commit-to-mail"
 
-	git -C "$GITGIT_DIR" update-ref refs/notes/commit-to-mail de5f0ffd77eabc913e560acb4f3303b6e3df4163
-	git -C "$GITGIT_DIR" update-ref refs/notes/mail-to-commit 92b87ef409b0858d188a371a6af30aa477bc549f
-
 	if git -C "$GITGIT_DIR" rev-parse --verify refs/remotes/upstream/seen >/dev/null 2>&1
 	then
 		# Let's take 'seen' from the official source at git.git.

script/update-mail-to-commit-notes.sh

@@ -23,7 +23,7 @@ update_gitgit_dir () {
 	git clone $git_remote "$GITGIT_DIR" ||
 	die "Could not clone $git_remote to $GITGIT_DIR"
 
-echo	git -C "$GITGIT_DIR" fetch $git_remote \
+	git -C "$GITGIT_DIR" fetch $git_remote \
 		refs/notes/mail-to-commit:refs/notes/mail-to-commit ||
 	die "Could not update notes"
 }