notes: optionally accept a token to push with

dscho · dscho · commit eccd2cbc65a7 · 2025-08-15T19:37:55.000Z
Previously, the token was automagically looked up via the Git config.
However, it is better to be less automagic about it, and pass it through
from the `CIHelper` (who will learn about the token in the next
commits).

Signed-off-by: Johannes Schindelin &lt;johannes.schindelin@gmx.de&gt;
diff --git a/lib/git-notes.ts b/lib/git-notes.ts
@@ -19,10 +19,16 @@ type TemporaryNoteIndex = {
 };
 
 export class GitNotes {
-    public async push(url: string) {
+    public async push(url: string, token: string | undefined = undefined): Promise<void> {
+        const auth = !token
+            ? []
+            : [
+                  "-c",
+                  `http.extraheader=Authorization: Basic ${Buffer.from(`x-access-token:${token}`).toString("base64")}`,
+              ];
         for (const backoff of [50, 500, 2000, 5000, 20000, 0]) {
             try {
-                await git(["push", url, "--", `${this.notesRef}`], {
+                await git([...auth, "push", url, "--", `${this.notesRef}`], {
                     workDir: this.workDir,
                 });
             } catch (e) {
