From 915d6e0afa023bafe32a334febfbd8bc6d76ff52 Mon Sep 17 00:00:00 2001
From: BtbN <btbn@btbn.de>
Date: Mon, 29 May 2023 23:09:09 +0200
Subject: [PATCH] Switch mingw-w64 to official git repo

The Github mirror seems to be broken, maybe switch back once it's
revived.

Closes #276
---
 scripts.d/10-mingw.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/scripts.d/10-mingw.sh b/scripts.d/10-mingw.sh
index 71293ef3de..dfa9a1ca13 100755
--- a/scripts.d/10-mingw.sh
+++ b/scripts.d/10-mingw.sh
@@ -1,7 +1,7 @@
 #!/bin/bash
 
-SCRIPT_REPO="https://github.com/mirror/mingw-w64.git"
-SCRIPT_COMMIT="eff726c461e09f35eeaed125a3570fa5f807f02b"
+SCRIPT_REPO="https://git.code.sf.net/p/mingw-w64/mingw-w64.git"
+SCRIPT_COMMIT="9df2e604ddf16765410724716a8d1887ffc61fa9"
 
 ffbuild_enabled() {
     [[ $TARGET == win* ]] || return -1