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

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>

Author: dscho

.vscode/settings.json

@@ -73,6 +73,7 @@
         "refname",
         "repo",
         "Schindelin",
+        "Sixt",
         "smee",
         "smtp",
         "stolee",

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