commit ddd625297bfd82b46b818f789ae25caa124b5ad2
parent 25ab19931a4b7496d3891880ac33e80d2a53955c
Author: Jack Mordaunt <jackmordaunt.dev@gmail.com>
Date: Mon, 21 Sep 2026 07:10:42 -0300
ci: mirror the clone rather than the build's own checkout
Every branch but main was landing under refs/remotes/origin, which
GitHub does not treat as a branch and never builds.
Diffstat:
1 file changed, 5 insertions(+), 1 deletion(-)
diff --git a/.builds/mirror-sync.yml b/.builds/mirror-sync.yml
@@ -7,6 +7,10 @@ tasks:
- sync: |
ssh-keyscan github.com >> ~/.ssh/known_hosts
git clone --mirror https://git.sr.ht/~jackmordaunt/nativeaudio
- cd nativeaudio
+ # The mirror clone lands in nativeaudio.git. Plain "nativeaudio" is
+ # the checkout this build already made, whose branches live under
+ # refs/remotes/origin, so mirroring that pushed every branch but main
+ # to a ref GitHub does not treat as a branch and will not build.
+ cd nativeaudio.git
git remote set-url --push origin git@github.com:JackMordaunt/nativeaudio.git
git push --mirror