CIHelper: allow callers to specify installation access tokens explicitly

It is much better to be intentional about repository access, especially
in the upcoming GitHub Action, instead of magically setting the tokens
via a couple of config variables.

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>

Author: dscho

lib/ci-helper.ts

@@ -37,6 +37,7 @@ export class CIHelper {
     protected testing: boolean;
     private gggNotesUpdated: boolean;
     private mail2CommitMapUpdated: boolean;
+    private notesPushToken: string | undefined;
     protected maxCommitsExceptions: string[];
 
     public constructor(workDir: string, skipUpdate?: boolean, gggConfigDir = ".") {
@@ -53,6 +54,13 @@ export class CIHelper {
         this.urlRepo = `${this.urlBase}${this.config.repo.name}/`;
     }
 
+    public setAccessToken(repositoryOwner: string, token: string): void {
+        this.github.setAccessToken(repositoryOwner, token);
+        if (this.config.repo.owner === repositoryOwner) {
+            this.notesPushToken = token;
+        }
+    }
+
     /*
      * Given a commit that was contributed as a patch via GitGitGadget (i.e.
      * a commit with a Message-ID recorded in `refs/notes/gitgitgadget`),
@@ -243,7 +251,7 @@ export class CIHelper {
             }
         }
         if (result) {
-            await this.notes.push(this.urlRepo);
+            await this.pushNotesRef();
         }
         return result;
     }
@@ -408,7 +416,7 @@ export class CIHelper {
         }
 
         if (notesUpdated || optionsUpdated) {
-            await this.notes.push(this.urlRepo);
+            await this.pushNotesRef();
         }
 
         return [notesUpdated, optionsUpdated];
@@ -806,7 +814,7 @@ export class CIHelper {
             this.config.mailrepo.branch,
         );
         if (await mailArchiveGit.processMails(prFilter)) {
-            await this.notes.push(this.urlRepo);
+            await this.pushNotesRef();
             return true;
         }
         return false;
@@ -878,7 +886,7 @@ export class CIHelper {
         if (optionsChanged) {
             console.log(`Changed options:\n${toPrettyJSON(options)}`);
             await this.notes.set("", options, true);
-            await this.notes.push(this.urlRepo);
+            await this.pushNotesRef();
         }
 
         return optionsChanged;
@@ -933,4 +941,8 @@ export class CIHelper {
             this.mail2CommitMapUpdated = true;
         }
     }
+
+    private async pushNotesRef(): Promise<void> {
+        await this.notes.push(this.urlRepo, this.notesPushToken);
+    }
 }