From 64c7d76fac23e6f7dca1f0ffad209cbe2ac0d561 Mon Sep 17 00:00:00 2001
From: Raine <raine@ixvd.net>
Date: Wed, 6 Dec 2023 21:54:41 +0100
Subject: [PATCH] fix: bash

---
 tools/repo/check.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/repo/check.sh b/tools/repo/check.sh
index 9769c75..51e7852 100755
--- a/tools/repo/check.sh
+++ b/tools/repo/check.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 
 set -e
 set -o pipefail