From f869d9b7dae964a1ccc054e346122bf5871041f4 Mon Sep 17 00:00:00 2001
From: Bauke <me@bauke.xyz>
Date: Sat, 17 Jun 2023 12:04:05 +0200
Subject: [PATCH] Add gitlab to the remotes to push.

---
 .bauke/scripts/simple-git-push.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.bauke/scripts/simple-git-push.ts b/.bauke/scripts/simple-git-push.ts
index 9bf84df..9f40296 100644
--- a/.bauke/scripts/simple-git-push.ts
+++ b/.bauke/scripts/simple-git-push.ts
@@ -15,7 +15,7 @@ async function main(): Promise<void> {
     Deno.exit(0);
   }
 
-  const remotesToPush = ["origin", "github"];
+  const remotesToPush = ["origin", "github", "gitlab"];
   for (const remote of availableRemotes) {
     if (remotesToPush.includes(remote)) {
       await gitPush(remote, args);