ci(*/github): add specific project mirrors #69

merged
opened by a.starrysky.fyi targeting main from test
Changed files
+18 -2
.tangled
workflows
+18 -2
.tangled/workflows/github.yml
··· 4 4 5 5 when: 6 6 - event: ["push"] 7 - branch: ["release"] 7 + branch: ["release", "test"] 8 8 9 9 engine: nixery 10 10 ··· 30 30 echo "Host github.com" >> /etc/ssh/ssh_config 31 31 echo " User git" >> /etc/ssh/ssh_config 32 32 echo " IdentityFile /tmp/key-ssh-github" >> /etc/ssh/ssh_config 33 - - name: Push to GitHub 33 + - name: Push * to GitHub 34 34 command: | 35 35 git remote add github git@github.com:FreshlyBakedCake/Patisserie.git 36 36 git fetch --unshallow origin 37 37 git fetch github 38 38 git push github HEAD:refs/heads/release 39 + - name: Push packetmix to GitHub 40 + command: | 41 + cd .. 42 + git clone https://git.freshlybakedca.ke/patisserie.git:workspace=projects/packetmix.git 43 + cd packetmix 44 + git remote add github git@github.com:FreshlyBakedCake/PacketMix.git 45 + git fetch github 46 + git push github origin/refs/heads/release:refs/heads/release 47 + - name: Push sprinkles to GitHub 48 + command: | 49 + cd .. 50 + git clone https://git.freshlybakedca.ke/patisserie.git:workspace=projects/sprinkles.git 51 + cd packetmix 52 + git remote add github git@github.com:FreshlyBakedCake/Sprinkles.git 53 + git fetch github 54 + git push github origin/refs/heads/release:refs/heads/release