For Git GUI PRs, Cc: the current Git GUI maintainer

dscho · dscho · commit 45087e9498cf · 2025-08-28T12:55:20.000+02:00
Johannes Sixt gracefully accepted that job, and we need to Cc: them instead of the previous maintainer. I noticed this when Pratyush was Cc:ed in v2 of #358. Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
diff --git a/.vscode/settings.json b/.vscode/settings.json
@@ -73,6 +73,7 @@
         "refname",
         "repo",
         "Schindelin",
+        "Sixt",
         "smee",
         "smtp",
         "stolee",
diff --git a/lib/project-options.ts b/lib/project-options.ts
@@ -27,7 +27,7 @@ export class ProjectOptions {
         } else if ((await revParse(`${baseCommit}:git-gui.sh`, workDir)) !== undefined) {
             // Git GUI
             to = "--to=git@vger.kernel.org";
-            cc.push("Pratyush Yadav <me@yadavpratyush.com>");
+            cc.push("Johannes Sixt <j6t@kdbg.org>");
             upstreamBranch = "git-gui/master";
         } else if ((await revParse(`${baseCommit}:git.c`, workDir)) !== undefined) {
             // Git

-Original file line number
+Diff line change
         } else if ((await revParse(`${baseCommit}:git-gui.sh`, workDir)) !== undefined) {
             // Git GUI
             to = "[email protected]";
 -            cc.push("Pratyush Yadav <[email protected]>");
 +            cc.push("Johannes Sixt <[email protected]>");
             upstreamBranch = "git-gui/master";
         } else if ((await revParse(`${baseCommit}:git.c`, workDir)) !== undefined) {
             // Git