forked from DGNum/infrastructure
fix(workflows/npins-update): use shell npins to ensure npins coherence
This commit is contained in:
parent
7442de051f
commit
b1179a63c4
GPG key ID:
CE3E645251AC63F3
2 changed files with 361 additions and 331 deletions
|
|
@ -24,17 +24,18 @@ jobs:
|
||||||
COMMIT_MESSAGE: 'chore(npins): Update agenix'
|
COMMIT_MESSAGE: 'chore(npins): Update agenix'
|
||||||
GIT_UPDATE_BRANCH: npins-updates/agenix
|
GIT_UPDATE_BRANCH: npins-updates/agenix
|
||||||
name: Open a PR if updates are present
|
name: Open a PR if updates are present
|
||||||
run: "npins update agenix\n\nif [ ! -z \"$(git diff --name-only)\" ]; then\n\
|
run: "nix-shell shell.nix --run \"npins update agenix\"\n\nif [ ! -z \"$(git
|
||||||
\ echo \"[+] Changes detected, pushing updates.\"\n\n git add npins\n\n\
|
diff --name-only)\" ]; then\n echo \"[+] Changes detected, pushing updates.\"\
|
||||||
\ if [ -n \"$EXISTING_BRANCH\" ]; then\n git commit --amend --no-edit\n\
|
\n\n git add npins\n\n if [ -n \"$EXISTING_BRANCH\" ]; then\n git commit
|
||||||
\ git push --force\n else\n git commit --message \"$COMMIT_MESSAGE\"\
|
--amend --no-edit\n git push --force\n else\n git commit --message
|
||||||
\n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\n # Connect to the
|
\"$COMMIT_MESSAGE\"\n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\
|
||||||
server with the cli\n tea login add -n dgnum-chores -t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN
|
\n # Connect to the server with the cli\n tea login add -n dgnum-chores
|
||||||
}}\" -u https://git.dgnum.eu\n\n # Create a pull request if needed\n # i.e.
|
-t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN }}\" -u https://git.dgnum.eu\n\n \
|
||||||
no PR with the same title exists\n if [ -z $(tea pr ls -f='head' -o simple
|
\ # Create a pull request if needed\n # i.e. no PR with the same title exists\n\
|
||||||
| grep \"$GIT_UPDATE_BRANCH\") ]; then\n tea pr create --description \"\
|
\ if [ -z $(tea pr ls -f='head' -o simple | grep \"$GIT_UPDATE_BRANCH\")
|
||||||
Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\
|
]; then\n tea pr create --description \"Automatic npins update\" --title
|
||||||
\n fi\nelif [ -n \"$EXISTING_BRANCH\" ]; then\n git push --force\nfi\n"
|
\"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\n fi\nelif [ -n \"$EXISTING_BRANCH\"\
|
||||||
|
\ ]; then\n git push --force\nfi\n"
|
||||||
arkheon:
|
arkheon:
|
||||||
runs-on: nix
|
runs-on: nix
|
||||||
steps:
|
steps:
|
||||||
|
|
@ -53,17 +54,18 @@ jobs:
|
||||||
COMMIT_MESSAGE: 'chore(npins): Update arkheon'
|
COMMIT_MESSAGE: 'chore(npins): Update arkheon'
|
||||||
GIT_UPDATE_BRANCH: npins-updates/arkheon
|
GIT_UPDATE_BRANCH: npins-updates/arkheon
|
||||||
name: Open a PR if updates are present
|
name: Open a PR if updates are present
|
||||||
run: "npins update arkheon\n\nif [ ! -z \"$(git diff --name-only)\" ]; then\n\
|
run: "nix-shell shell.nix --run \"npins update arkheon\"\n\nif [ ! -z \"$(git
|
||||||
\ echo \"[+] Changes detected, pushing updates.\"\n\n git add npins\n\n\
|
diff --name-only)\" ]; then\n echo \"[+] Changes detected, pushing updates.\"\
|
||||||
\ if [ -n \"$EXISTING_BRANCH\" ]; then\n git commit --amend --no-edit\n\
|
\n\n git add npins\n\n if [ -n \"$EXISTING_BRANCH\" ]; then\n git commit
|
||||||
\ git push --force\n else\n git commit --message \"$COMMIT_MESSAGE\"\
|
--amend --no-edit\n git push --force\n else\n git commit --message
|
||||||
\n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\n # Connect to the
|
\"$COMMIT_MESSAGE\"\n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\
|
||||||
server with the cli\n tea login add -n dgnum-chores -t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN
|
\n # Connect to the server with the cli\n tea login add -n dgnum-chores
|
||||||
}}\" -u https://git.dgnum.eu\n\n # Create a pull request if needed\n # i.e.
|
-t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN }}\" -u https://git.dgnum.eu\n\n \
|
||||||
no PR with the same title exists\n if [ -z $(tea pr ls -f='head' -o simple
|
\ # Create a pull request if needed\n # i.e. no PR with the same title exists\n\
|
||||||
| grep \"$GIT_UPDATE_BRANCH\") ]; then\n tea pr create --description \"\
|
\ if [ -z $(tea pr ls -f='head' -o simple | grep \"$GIT_UPDATE_BRANCH\")
|
||||||
Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\
|
]; then\n tea pr create --description \"Automatic npins update\" --title
|
||||||
\n fi\nelif [ -n \"$EXISTING_BRANCH\" ]; then\n git push --force\nfi\n"
|
\"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\n fi\nelif [ -n \"$EXISTING_BRANCH\"\
|
||||||
|
\ ]; then\n git push --force\nfi\n"
|
||||||
cas-eleves:
|
cas-eleves:
|
||||||
runs-on: nix
|
runs-on: nix
|
||||||
steps:
|
steps:
|
||||||
|
|
@ -82,17 +84,18 @@ jobs:
|
||||||
COMMIT_MESSAGE: 'chore(npins): Update cas-eleves'
|
COMMIT_MESSAGE: 'chore(npins): Update cas-eleves'
|
||||||
GIT_UPDATE_BRANCH: npins-updates/cas-eleves
|
GIT_UPDATE_BRANCH: npins-updates/cas-eleves
|
||||||
name: Open a PR if updates are present
|
name: Open a PR if updates are present
|
||||||
run: "npins update cas-eleves\n\nif [ ! -z \"$(git diff --name-only)\" ]; then\n\
|
run: "nix-shell shell.nix --run \"npins update cas-eleves\"\n\nif [ ! -z \"
|
||||||
\ echo \"[+] Changes detected, pushing updates.\"\n\n git add npins\n\n\
|
$(git diff --name-only)\" ]; then\n echo \"[+] Changes detected, pushing
|
||||||
\ if [ -n \"$EXISTING_BRANCH\" ]; then\n git commit --amend --no-edit\n\
|
updates.\"\n\n git add npins\n\n if [ -n \"$EXISTING_BRANCH\" ]; then\n\
|
||||||
\ git push --force\n else\n git commit --message \"$COMMIT_MESSAGE\"\
|
\ git commit --amend --no-edit\n git push --force\n else\n git commit
|
||||||
\n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\n # Connect to the
|
--message \"$COMMIT_MESSAGE\"\n git push -u origin \"$GIT_UPDATE_BRANCH\"\
|
||||||
server with the cli\n tea login add -n dgnum-chores -t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN
|
\n fi\n\n # Connect to the server with the cli\n tea login add -n dgnum-chores
|
||||||
}}\" -u https://git.dgnum.eu\n\n # Create a pull request if needed\n # i.e.
|
-t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN }}\" -u https://git.dgnum.eu\n\n \
|
||||||
no PR with the same title exists\n if [ -z $(tea pr ls -f='head' -o simple
|
\ # Create a pull request if needed\n # i.e. no PR with the same title exists\n\
|
||||||
| grep \"$GIT_UPDATE_BRANCH\") ]; then\n tea pr create --description \"\
|
\ if [ -z $(tea pr ls -f='head' -o simple | grep \"$GIT_UPDATE_BRANCH\")
|
||||||
Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\
|
]; then\n tea pr create --description \"Automatic npins update\" --title
|
||||||
\n fi\nelif [ -n \"$EXISTING_BRANCH\" ]; then\n git push --force\nfi\n"
|
\"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\n fi\nelif [ -n \"$EXISTING_BRANCH\"\
|
||||||
|
\ ]; then\n git push --force\nfi\n"
|
||||||
cgroup-exporter:
|
cgroup-exporter:
|
||||||
runs-on: nix
|
runs-on: nix
|
||||||
steps:
|
steps:
|
||||||
|
|
@ -111,17 +114,18 @@ jobs:
|
||||||
COMMIT_MESSAGE: 'chore(npins): Update cgroup-exporter'
|
COMMIT_MESSAGE: 'chore(npins): Update cgroup-exporter'
|
||||||
GIT_UPDATE_BRANCH: npins-updates/cgroup-exporter
|
GIT_UPDATE_BRANCH: npins-updates/cgroup-exporter
|
||||||
name: Open a PR if updates are present
|
name: Open a PR if updates are present
|
||||||
run: "npins update cgroup-exporter\n\nif [ ! -z \"$(git diff --name-only)\"
|
run: "nix-shell shell.nix --run \"npins update cgroup-exporter\"\n\nif [ ! -z
|
||||||
]; then\n echo \"[+] Changes detected, pushing updates.\"\n\n git add npins\n\
|
\"$(git diff --name-only)\" ]; then\n echo \"[+] Changes detected, pushing
|
||||||
\n if [ -n \"$EXISTING_BRANCH\" ]; then\n git commit --amend --no-edit\n\
|
updates.\"\n\n git add npins\n\n if [ -n \"$EXISTING_BRANCH\" ]; then\n\
|
||||||
\ git push --force\n else\n git commit --message \"$COMMIT_MESSAGE\"\
|
\ git commit --amend --no-edit\n git push --force\n else\n git commit
|
||||||
\n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\n # Connect to the
|
--message \"$COMMIT_MESSAGE\"\n git push -u origin \"$GIT_UPDATE_BRANCH\"\
|
||||||
server with the cli\n tea login add -n dgnum-chores -t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN
|
\n fi\n\n # Connect to the server with the cli\n tea login add -n dgnum-chores
|
||||||
}}\" -u https://git.dgnum.eu\n\n # Create a pull request if needed\n # i.e.
|
-t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN }}\" -u https://git.dgnum.eu\n\n \
|
||||||
no PR with the same title exists\n if [ -z $(tea pr ls -f='head' -o simple
|
\ # Create a pull request if needed\n # i.e. no PR with the same title exists\n\
|
||||||
| grep \"$GIT_UPDATE_BRANCH\") ]; then\n tea pr create --description \"\
|
\ if [ -z $(tea pr ls -f='head' -o simple | grep \"$GIT_UPDATE_BRANCH\")
|
||||||
Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\
|
]; then\n tea pr create --description \"Automatic npins update\" --title
|
||||||
\n fi\nelif [ -n \"$EXISTING_BRANCH\" ]; then\n git push --force\nfi\n"
|
\"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\n fi\nelif [ -n \"$EXISTING_BRANCH\"\
|
||||||
|
\ ]; then\n git push --force\nfi\n"
|
||||||
colmena:
|
colmena:
|
||||||
runs-on: nix
|
runs-on: nix
|
||||||
steps:
|
steps:
|
||||||
|
|
@ -140,17 +144,18 @@ jobs:
|
||||||
COMMIT_MESSAGE: 'chore(npins): Update colmena'
|
COMMIT_MESSAGE: 'chore(npins): Update colmena'
|
||||||
GIT_UPDATE_BRANCH: npins-updates/colmena
|
GIT_UPDATE_BRANCH: npins-updates/colmena
|
||||||
name: Open a PR if updates are present
|
name: Open a PR if updates are present
|
||||||
run: "npins update colmena\n\nif [ ! -z \"$(git diff --name-only)\" ]; then\n\
|
run: "nix-shell shell.nix --run \"npins update colmena\"\n\nif [ ! -z \"$(git
|
||||||
\ echo \"[+] Changes detected, pushing updates.\"\n\n git add npins\n\n\
|
diff --name-only)\" ]; then\n echo \"[+] Changes detected, pushing updates.\"\
|
||||||
\ if [ -n \"$EXISTING_BRANCH\" ]; then\n git commit --amend --no-edit\n\
|
\n\n git add npins\n\n if [ -n \"$EXISTING_BRANCH\" ]; then\n git commit
|
||||||
\ git push --force\n else\n git commit --message \"$COMMIT_MESSAGE\"\
|
--amend --no-edit\n git push --force\n else\n git commit --message
|
||||||
\n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\n # Connect to the
|
\"$COMMIT_MESSAGE\"\n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\
|
||||||
server with the cli\n tea login add -n dgnum-chores -t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN
|
\n # Connect to the server with the cli\n tea login add -n dgnum-chores
|
||||||
}}\" -u https://git.dgnum.eu\n\n # Create a pull request if needed\n # i.e.
|
-t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN }}\" -u https://git.dgnum.eu\n\n \
|
||||||
no PR with the same title exists\n if [ -z $(tea pr ls -f='head' -o simple
|
\ # Create a pull request if needed\n # i.e. no PR with the same title exists\n\
|
||||||
| grep \"$GIT_UPDATE_BRANCH\") ]; then\n tea pr create --description \"\
|
\ if [ -z $(tea pr ls -f='head' -o simple | grep \"$GIT_UPDATE_BRANCH\")
|
||||||
Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\
|
]; then\n tea pr create --description \"Automatic npins update\" --title
|
||||||
\n fi\nelif [ -n \"$EXISTING_BRANCH\" ]; then\n git push --force\nfi\n"
|
\"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\n fi\nelif [ -n \"$EXISTING_BRANCH\"\
|
||||||
|
\ ]; then\n git push --force\nfi\n"
|
||||||
dgsi:
|
dgsi:
|
||||||
runs-on: nix
|
runs-on: nix
|
||||||
steps:
|
steps:
|
||||||
|
|
@ -169,17 +174,18 @@ jobs:
|
||||||
COMMIT_MESSAGE: 'chore(npins): Update dgsi'
|
COMMIT_MESSAGE: 'chore(npins): Update dgsi'
|
||||||
GIT_UPDATE_BRANCH: npins-updates/dgsi
|
GIT_UPDATE_BRANCH: npins-updates/dgsi
|
||||||
name: Open a PR if updates are present
|
name: Open a PR if updates are present
|
||||||
run: "npins update dgsi\n\nif [ ! -z \"$(git diff --name-only)\" ]; then\n \
|
run: "nix-shell shell.nix --run \"npins update dgsi\"\n\nif [ ! -z \"$(git diff
|
||||||
\ echo \"[+] Changes detected, pushing updates.\"\n\n git add npins\n\n \
|
--name-only)\" ]; then\n echo \"[+] Changes detected, pushing updates.\"\n\
|
||||||
\ if [ -n \"$EXISTING_BRANCH\" ]; then\n git commit --amend --no-edit\n\
|
\n git add npins\n\n if [ -n \"$EXISTING_BRANCH\" ]; then\n git commit
|
||||||
\ git push --force\n else\n git commit --message \"$COMMIT_MESSAGE\"\
|
--amend --no-edit\n git push --force\n else\n git commit --message
|
||||||
\n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\n # Connect to the
|
\"$COMMIT_MESSAGE\"\n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\
|
||||||
server with the cli\n tea login add -n dgnum-chores -t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN
|
\n # Connect to the server with the cli\n tea login add -n dgnum-chores
|
||||||
}}\" -u https://git.dgnum.eu\n\n # Create a pull request if needed\n # i.e.
|
-t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN }}\" -u https://git.dgnum.eu\n\n \
|
||||||
no PR with the same title exists\n if [ -z $(tea pr ls -f='head' -o simple
|
\ # Create a pull request if needed\n # i.e. no PR with the same title exists\n\
|
||||||
| grep \"$GIT_UPDATE_BRANCH\") ]; then\n tea pr create --description \"\
|
\ if [ -z $(tea pr ls -f='head' -o simple | grep \"$GIT_UPDATE_BRANCH\")
|
||||||
Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\
|
]; then\n tea pr create --description \"Automatic npins update\" --title
|
||||||
\n fi\nelif [ -n \"$EXISTING_BRANCH\" ]; then\n git push --force\nfi\n"
|
\"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\n fi\nelif [ -n \"$EXISTING_BRANCH\"\
|
||||||
|
\ ]; then\n git push --force\nfi\n"
|
||||||
disko:
|
disko:
|
||||||
runs-on: nix
|
runs-on: nix
|
||||||
steps:
|
steps:
|
||||||
|
|
@ -198,17 +204,18 @@ jobs:
|
||||||
COMMIT_MESSAGE: 'chore(npins): Update disko'
|
COMMIT_MESSAGE: 'chore(npins): Update disko'
|
||||||
GIT_UPDATE_BRANCH: npins-updates/disko
|
GIT_UPDATE_BRANCH: npins-updates/disko
|
||||||
name: Open a PR if updates are present
|
name: Open a PR if updates are present
|
||||||
run: "npins update disko\n\nif [ ! -z \"$(git diff --name-only)\" ]; then\n\
|
run: "nix-shell shell.nix --run \"npins update disko\"\n\nif [ ! -z \"$(git
|
||||||
\ echo \"[+] Changes detected, pushing updates.\"\n\n git add npins\n\n\
|
diff --name-only)\" ]; then\n echo \"[+] Changes detected, pushing updates.\"\
|
||||||
\ if [ -n \"$EXISTING_BRANCH\" ]; then\n git commit --amend --no-edit\n\
|
\n\n git add npins\n\n if [ -n \"$EXISTING_BRANCH\" ]; then\n git commit
|
||||||
\ git push --force\n else\n git commit --message \"$COMMIT_MESSAGE\"\
|
--amend --no-edit\n git push --force\n else\n git commit --message
|
||||||
\n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\n # Connect to the
|
\"$COMMIT_MESSAGE\"\n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\
|
||||||
server with the cli\n tea login add -n dgnum-chores -t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN
|
\n # Connect to the server with the cli\n tea login add -n dgnum-chores
|
||||||
}}\" -u https://git.dgnum.eu\n\n # Create a pull request if needed\n # i.e.
|
-t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN }}\" -u https://git.dgnum.eu\n\n \
|
||||||
no PR with the same title exists\n if [ -z $(tea pr ls -f='head' -o simple
|
\ # Create a pull request if needed\n # i.e. no PR with the same title exists\n\
|
||||||
| grep \"$GIT_UPDATE_BRANCH\") ]; then\n tea pr create --description \"\
|
\ if [ -z $(tea pr ls -f='head' -o simple | grep \"$GIT_UPDATE_BRANCH\")
|
||||||
Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\
|
]; then\n tea pr create --description \"Automatic npins update\" --title
|
||||||
\n fi\nelif [ -n \"$EXISTING_BRANCH\" ]; then\n git push --force\nfi\n"
|
\"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\n fi\nelif [ -n \"$EXISTING_BRANCH\"\
|
||||||
|
\ ]; then\n git push --force\nfi\n"
|
||||||
dns_nix:
|
dns_nix:
|
||||||
runs-on: nix
|
runs-on: nix
|
||||||
steps:
|
steps:
|
||||||
|
|
@ -227,17 +234,18 @@ jobs:
|
||||||
COMMIT_MESSAGE: 'chore(npins): Update dns.nix'
|
COMMIT_MESSAGE: 'chore(npins): Update dns.nix'
|
||||||
GIT_UPDATE_BRANCH: npins-updates/dns.nix
|
GIT_UPDATE_BRANCH: npins-updates/dns.nix
|
||||||
name: Open a PR if updates are present
|
name: Open a PR if updates are present
|
||||||
run: "npins update dns.nix\n\nif [ ! -z \"$(git diff --name-only)\" ]; then\n\
|
run: "nix-shell shell.nix --run \"npins update dns.nix\"\n\nif [ ! -z \"$(git
|
||||||
\ echo \"[+] Changes detected, pushing updates.\"\n\n git add npins\n\n\
|
diff --name-only)\" ]; then\n echo \"[+] Changes detected, pushing updates.\"\
|
||||||
\ if [ -n \"$EXISTING_BRANCH\" ]; then\n git commit --amend --no-edit\n\
|
\n\n git add npins\n\n if [ -n \"$EXISTING_BRANCH\" ]; then\n git commit
|
||||||
\ git push --force\n else\n git commit --message \"$COMMIT_MESSAGE\"\
|
--amend --no-edit\n git push --force\n else\n git commit --message
|
||||||
\n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\n # Connect to the
|
\"$COMMIT_MESSAGE\"\n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\
|
||||||
server with the cli\n tea login add -n dgnum-chores -t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN
|
\n # Connect to the server with the cli\n tea login add -n dgnum-chores
|
||||||
}}\" -u https://git.dgnum.eu\n\n # Create a pull request if needed\n # i.e.
|
-t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN }}\" -u https://git.dgnum.eu\n\n \
|
||||||
no PR with the same title exists\n if [ -z $(tea pr ls -f='head' -o simple
|
\ # Create a pull request if needed\n # i.e. no PR with the same title exists\n\
|
||||||
| grep \"$GIT_UPDATE_BRANCH\") ]; then\n tea pr create --description \"\
|
\ if [ -z $(tea pr ls -f='head' -o simple | grep \"$GIT_UPDATE_BRANCH\")
|
||||||
Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\
|
]; then\n tea pr create --description \"Automatic npins update\" --title
|
||||||
\n fi\nelif [ -n \"$EXISTING_BRANCH\" ]; then\n git push --force\nfi\n"
|
\"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\n fi\nelif [ -n \"$EXISTING_BRANCH\"\
|
||||||
|
\ ]; then\n git push --force\nfi\n"
|
||||||
git-hooks:
|
git-hooks:
|
||||||
runs-on: nix
|
runs-on: nix
|
||||||
steps:
|
steps:
|
||||||
|
|
@ -256,17 +264,18 @@ jobs:
|
||||||
COMMIT_MESSAGE: 'chore(npins): Update git-hooks'
|
COMMIT_MESSAGE: 'chore(npins): Update git-hooks'
|
||||||
GIT_UPDATE_BRANCH: npins-updates/git-hooks
|
GIT_UPDATE_BRANCH: npins-updates/git-hooks
|
||||||
name: Open a PR if updates are present
|
name: Open a PR if updates are present
|
||||||
run: "npins update git-hooks\n\nif [ ! -z \"$(git diff --name-only)\" ]; then\n\
|
run: "nix-shell shell.nix --run \"npins update git-hooks\"\n\nif [ ! -z \"$(git
|
||||||
\ echo \"[+] Changes detected, pushing updates.\"\n\n git add npins\n\n\
|
diff --name-only)\" ]; then\n echo \"[+] Changes detected, pushing updates.\"\
|
||||||
\ if [ -n \"$EXISTING_BRANCH\" ]; then\n git commit --amend --no-edit\n\
|
\n\n git add npins\n\n if [ -n \"$EXISTING_BRANCH\" ]; then\n git commit
|
||||||
\ git push --force\n else\n git commit --message \"$COMMIT_MESSAGE\"\
|
--amend --no-edit\n git push --force\n else\n git commit --message
|
||||||
\n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\n # Connect to the
|
\"$COMMIT_MESSAGE\"\n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\
|
||||||
server with the cli\n tea login add -n dgnum-chores -t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN
|
\n # Connect to the server with the cli\n tea login add -n dgnum-chores
|
||||||
}}\" -u https://git.dgnum.eu\n\n # Create a pull request if needed\n # i.e.
|
-t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN }}\" -u https://git.dgnum.eu\n\n \
|
||||||
no PR with the same title exists\n if [ -z $(tea pr ls -f='head' -o simple
|
\ # Create a pull request if needed\n # i.e. no PR with the same title exists\n\
|
||||||
| grep \"$GIT_UPDATE_BRANCH\") ]; then\n tea pr create --description \"\
|
\ if [ -z $(tea pr ls -f='head' -o simple | grep \"$GIT_UPDATE_BRANCH\")
|
||||||
Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\
|
]; then\n tea pr create --description \"Automatic npins update\" --title
|
||||||
\n fi\nelif [ -n \"$EXISTING_BRANCH\" ]; then\n git push --force\nfi\n"
|
\"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\n fi\nelif [ -n \"$EXISTING_BRANCH\"\
|
||||||
|
\ ]; then\n git push --force\nfi\n"
|
||||||
kadenios:
|
kadenios:
|
||||||
runs-on: nix
|
runs-on: nix
|
||||||
steps:
|
steps:
|
||||||
|
|
@ -285,17 +294,18 @@ jobs:
|
||||||
COMMIT_MESSAGE: 'chore(npins): Update kadenios'
|
COMMIT_MESSAGE: 'chore(npins): Update kadenios'
|
||||||
GIT_UPDATE_BRANCH: npins-updates/kadenios
|
GIT_UPDATE_BRANCH: npins-updates/kadenios
|
||||||
name: Open a PR if updates are present
|
name: Open a PR if updates are present
|
||||||
run: "npins update kadenios\n\nif [ ! -z \"$(git diff --name-only)\" ]; then\n\
|
run: "nix-shell shell.nix --run \"npins update kadenios\"\n\nif [ ! -z \"$(git
|
||||||
\ echo \"[+] Changes detected, pushing updates.\"\n\n git add npins\n\n\
|
diff --name-only)\" ]; then\n echo \"[+] Changes detected, pushing updates.\"\
|
||||||
\ if [ -n \"$EXISTING_BRANCH\" ]; then\n git commit --amend --no-edit\n\
|
\n\n git add npins\n\n if [ -n \"$EXISTING_BRANCH\" ]; then\n git commit
|
||||||
\ git push --force\n else\n git commit --message \"$COMMIT_MESSAGE\"\
|
--amend --no-edit\n git push --force\n else\n git commit --message
|
||||||
\n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\n # Connect to the
|
\"$COMMIT_MESSAGE\"\n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\
|
||||||
server with the cli\n tea login add -n dgnum-chores -t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN
|
\n # Connect to the server with the cli\n tea login add -n dgnum-chores
|
||||||
}}\" -u https://git.dgnum.eu\n\n # Create a pull request if needed\n # i.e.
|
-t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN }}\" -u https://git.dgnum.eu\n\n \
|
||||||
no PR with the same title exists\n if [ -z $(tea pr ls -f='head' -o simple
|
\ # Create a pull request if needed\n # i.e. no PR with the same title exists\n\
|
||||||
| grep \"$GIT_UPDATE_BRANCH\") ]; then\n tea pr create --description \"\
|
\ if [ -z $(tea pr ls -f='head' -o simple | grep \"$GIT_UPDATE_BRANCH\")
|
||||||
Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\
|
]; then\n tea pr create --description \"Automatic npins update\" --title
|
||||||
\n fi\nelif [ -n \"$EXISTING_BRANCH\" ]; then\n git push --force\nfi\n"
|
\"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\n fi\nelif [ -n \"$EXISTING_BRANCH\"\
|
||||||
|
\ ]; then\n git push --force\nfi\n"
|
||||||
kahulm:
|
kahulm:
|
||||||
runs-on: nix
|
runs-on: nix
|
||||||
steps:
|
steps:
|
||||||
|
|
@ -314,17 +324,18 @@ jobs:
|
||||||
COMMIT_MESSAGE: 'chore(npins): Update kahulm'
|
COMMIT_MESSAGE: 'chore(npins): Update kahulm'
|
||||||
GIT_UPDATE_BRANCH: npins-updates/kahulm
|
GIT_UPDATE_BRANCH: npins-updates/kahulm
|
||||||
name: Open a PR if updates are present
|
name: Open a PR if updates are present
|
||||||
run: "npins update kahulm\n\nif [ ! -z \"$(git diff --name-only)\" ]; then\n\
|
run: "nix-shell shell.nix --run \"npins update kahulm\"\n\nif [ ! -z \"$(git
|
||||||
\ echo \"[+] Changes detected, pushing updates.\"\n\n git add npins\n\n\
|
diff --name-only)\" ]; then\n echo \"[+] Changes detected, pushing updates.\"\
|
||||||
\ if [ -n \"$EXISTING_BRANCH\" ]; then\n git commit --amend --no-edit\n\
|
\n\n git add npins\n\n if [ -n \"$EXISTING_BRANCH\" ]; then\n git commit
|
||||||
\ git push --force\n else\n git commit --message \"$COMMIT_MESSAGE\"\
|
--amend --no-edit\n git push --force\n else\n git commit --message
|
||||||
\n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\n # Connect to the
|
\"$COMMIT_MESSAGE\"\n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\
|
||||||
server with the cli\n tea login add -n dgnum-chores -t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN
|
\n # Connect to the server with the cli\n tea login add -n dgnum-chores
|
||||||
}}\" -u https://git.dgnum.eu\n\n # Create a pull request if needed\n # i.e.
|
-t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN }}\" -u https://git.dgnum.eu\n\n \
|
||||||
no PR with the same title exists\n if [ -z $(tea pr ls -f='head' -o simple
|
\ # Create a pull request if needed\n # i.e. no PR with the same title exists\n\
|
||||||
| grep \"$GIT_UPDATE_BRANCH\") ]; then\n tea pr create --description \"\
|
\ if [ -z $(tea pr ls -f='head' -o simple | grep \"$GIT_UPDATE_BRANCH\")
|
||||||
Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\
|
]; then\n tea pr create --description \"Automatic npins update\" --title
|
||||||
\n fi\nelif [ -n \"$EXISTING_BRANCH\" ]; then\n git push --force\nfi\n"
|
\"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\n fi\nelif [ -n \"$EXISTING_BRANCH\"\
|
||||||
|
\ ]; then\n git push --force\nfi\n"
|
||||||
kat-pkgs:
|
kat-pkgs:
|
||||||
runs-on: nix
|
runs-on: nix
|
||||||
steps:
|
steps:
|
||||||
|
|
@ -343,17 +354,18 @@ jobs:
|
||||||
COMMIT_MESSAGE: 'chore(npins): Update kat-pkgs'
|
COMMIT_MESSAGE: 'chore(npins): Update kat-pkgs'
|
||||||
GIT_UPDATE_BRANCH: npins-updates/kat-pkgs
|
GIT_UPDATE_BRANCH: npins-updates/kat-pkgs
|
||||||
name: Open a PR if updates are present
|
name: Open a PR if updates are present
|
||||||
run: "npins update kat-pkgs\n\nif [ ! -z \"$(git diff --name-only)\" ]; then\n\
|
run: "nix-shell shell.nix --run \"npins update kat-pkgs\"\n\nif [ ! -z \"$(git
|
||||||
\ echo \"[+] Changes detected, pushing updates.\"\n\n git add npins\n\n\
|
diff --name-only)\" ]; then\n echo \"[+] Changes detected, pushing updates.\"\
|
||||||
\ if [ -n \"$EXISTING_BRANCH\" ]; then\n git commit --amend --no-edit\n\
|
\n\n git add npins\n\n if [ -n \"$EXISTING_BRANCH\" ]; then\n git commit
|
||||||
\ git push --force\n else\n git commit --message \"$COMMIT_MESSAGE\"\
|
--amend --no-edit\n git push --force\n else\n git commit --message
|
||||||
\n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\n # Connect to the
|
\"$COMMIT_MESSAGE\"\n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\
|
||||||
server with the cli\n tea login add -n dgnum-chores -t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN
|
\n # Connect to the server with the cli\n tea login add -n dgnum-chores
|
||||||
}}\" -u https://git.dgnum.eu\n\n # Create a pull request if needed\n # i.e.
|
-t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN }}\" -u https://git.dgnum.eu\n\n \
|
||||||
no PR with the same title exists\n if [ -z $(tea pr ls -f='head' -o simple
|
\ # Create a pull request if needed\n # i.e. no PR with the same title exists\n\
|
||||||
| grep \"$GIT_UPDATE_BRANCH\") ]; then\n tea pr create --description \"\
|
\ if [ -z $(tea pr ls -f='head' -o simple | grep \"$GIT_UPDATE_BRANCH\")
|
||||||
Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\
|
]; then\n tea pr create --description \"Automatic npins update\" --title
|
||||||
\n fi\nelif [ -n \"$EXISTING_BRANCH\" ]; then\n git push --force\nfi\n"
|
\"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\n fi\nelif [ -n \"$EXISTING_BRANCH\"\
|
||||||
|
\ ]; then\n git push --force\nfi\n"
|
||||||
liminix:
|
liminix:
|
||||||
runs-on: nix
|
runs-on: nix
|
||||||
steps:
|
steps:
|
||||||
|
|
@ -372,17 +384,18 @@ jobs:
|
||||||
COMMIT_MESSAGE: 'chore(npins): Update liminix'
|
COMMIT_MESSAGE: 'chore(npins): Update liminix'
|
||||||
GIT_UPDATE_BRANCH: npins-updates/liminix
|
GIT_UPDATE_BRANCH: npins-updates/liminix
|
||||||
name: Open a PR if updates are present
|
name: Open a PR if updates are present
|
||||||
run: "npins update liminix\n\nif [ ! -z \"$(git diff --name-only)\" ]; then\n\
|
run: "nix-shell shell.nix --run \"npins update liminix\"\n\nif [ ! -z \"$(git
|
||||||
\ echo \"[+] Changes detected, pushing updates.\"\n\n git add npins\n\n\
|
diff --name-only)\" ]; then\n echo \"[+] Changes detected, pushing updates.\"\
|
||||||
\ if [ -n \"$EXISTING_BRANCH\" ]; then\n git commit --amend --no-edit\n\
|
\n\n git add npins\n\n if [ -n \"$EXISTING_BRANCH\" ]; then\n git commit
|
||||||
\ git push --force\n else\n git commit --message \"$COMMIT_MESSAGE\"\
|
--amend --no-edit\n git push --force\n else\n git commit --message
|
||||||
\n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\n # Connect to the
|
\"$COMMIT_MESSAGE\"\n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\
|
||||||
server with the cli\n tea login add -n dgnum-chores -t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN
|
\n # Connect to the server with the cli\n tea login add -n dgnum-chores
|
||||||
}}\" -u https://git.dgnum.eu\n\n # Create a pull request if needed\n # i.e.
|
-t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN }}\" -u https://git.dgnum.eu\n\n \
|
||||||
no PR with the same title exists\n if [ -z $(tea pr ls -f='head' -o simple
|
\ # Create a pull request if needed\n # i.e. no PR with the same title exists\n\
|
||||||
| grep \"$GIT_UPDATE_BRANCH\") ]; then\n tea pr create --description \"\
|
\ if [ -z $(tea pr ls -f='head' -o simple | grep \"$GIT_UPDATE_BRANCH\")
|
||||||
Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\
|
]; then\n tea pr create --description \"Automatic npins update\" --title
|
||||||
\n fi\nelif [ -n \"$EXISTING_BRANCH\" ]; then\n git push --force\nfi\n"
|
\"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\n fi\nelif [ -n \"$EXISTING_BRANCH\"\
|
||||||
|
\ ]; then\n git push --force\nfi\n"
|
||||||
linkal:
|
linkal:
|
||||||
runs-on: nix
|
runs-on: nix
|
||||||
steps:
|
steps:
|
||||||
|
|
@ -401,17 +414,18 @@ jobs:
|
||||||
COMMIT_MESSAGE: 'chore(npins): Update linkal'
|
COMMIT_MESSAGE: 'chore(npins): Update linkal'
|
||||||
GIT_UPDATE_BRANCH: npins-updates/linkal
|
GIT_UPDATE_BRANCH: npins-updates/linkal
|
||||||
name: Open a PR if updates are present
|
name: Open a PR if updates are present
|
||||||
run: "npins update linkal\n\nif [ ! -z \"$(git diff --name-only)\" ]; then\n\
|
run: "nix-shell shell.nix --run \"npins update linkal\"\n\nif [ ! -z \"$(git
|
||||||
\ echo \"[+] Changes detected, pushing updates.\"\n\n git add npins\n\n\
|
diff --name-only)\" ]; then\n echo \"[+] Changes detected, pushing updates.\"\
|
||||||
\ if [ -n \"$EXISTING_BRANCH\" ]; then\n git commit --amend --no-edit\n\
|
\n\n git add npins\n\n if [ -n \"$EXISTING_BRANCH\" ]; then\n git commit
|
||||||
\ git push --force\n else\n git commit --message \"$COMMIT_MESSAGE\"\
|
--amend --no-edit\n git push --force\n else\n git commit --message
|
||||||
\n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\n # Connect to the
|
\"$COMMIT_MESSAGE\"\n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\
|
||||||
server with the cli\n tea login add -n dgnum-chores -t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN
|
\n # Connect to the server with the cli\n tea login add -n dgnum-chores
|
||||||
}}\" -u https://git.dgnum.eu\n\n # Create a pull request if needed\n # i.e.
|
-t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN }}\" -u https://git.dgnum.eu\n\n \
|
||||||
no PR with the same title exists\n if [ -z $(tea pr ls -f='head' -o simple
|
\ # Create a pull request if needed\n # i.e. no PR with the same title exists\n\
|
||||||
| grep \"$GIT_UPDATE_BRANCH\") ]; then\n tea pr create --description \"\
|
\ if [ -z $(tea pr ls -f='head' -o simple | grep \"$GIT_UPDATE_BRANCH\")
|
||||||
Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\
|
]; then\n tea pr create --description \"Automatic npins update\" --title
|
||||||
\n fi\nelif [ -n \"$EXISTING_BRANCH\" ]; then\n git push --force\nfi\n"
|
\"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\n fi\nelif [ -n \"$EXISTING_BRANCH\"\
|
||||||
|
\ ]; then\n git push --force\nfi\n"
|
||||||
lix:
|
lix:
|
||||||
runs-on: nix
|
runs-on: nix
|
||||||
steps:
|
steps:
|
||||||
|
|
@ -430,17 +444,18 @@ jobs:
|
||||||
COMMIT_MESSAGE: 'chore(npins): Update lix'
|
COMMIT_MESSAGE: 'chore(npins): Update lix'
|
||||||
GIT_UPDATE_BRANCH: npins-updates/lix
|
GIT_UPDATE_BRANCH: npins-updates/lix
|
||||||
name: Open a PR if updates are present
|
name: Open a PR if updates are present
|
||||||
run: "npins update lix\n\nif [ ! -z \"$(git diff --name-only)\" ]; then\n echo
|
run: "nix-shell shell.nix --run \"npins update lix\"\n\nif [ ! -z \"$(git diff
|
||||||
\"[+] Changes detected, pushing updates.\"\n\n git add npins\n\n if [ -n
|
--name-only)\" ]; then\n echo \"[+] Changes detected, pushing updates.\"\n\
|
||||||
\"$EXISTING_BRANCH\" ]; then\n git commit --amend --no-edit\n git push
|
\n git add npins\n\n if [ -n \"$EXISTING_BRANCH\" ]; then\n git commit
|
||||||
--force\n else\n git commit --message \"$COMMIT_MESSAGE\"\n git push
|
--amend --no-edit\n git push --force\n else\n git commit --message
|
||||||
-u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\n # Connect to the server with the
|
\"$COMMIT_MESSAGE\"\n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\
|
||||||
cli\n tea login add -n dgnum-chores -t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN
|
\n # Connect to the server with the cli\n tea login add -n dgnum-chores
|
||||||
}}\" -u https://git.dgnum.eu\n\n # Create a pull request if needed\n # i.e.
|
-t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN }}\" -u https://git.dgnum.eu\n\n \
|
||||||
no PR with the same title exists\n if [ -z $(tea pr ls -f='head' -o simple
|
\ # Create a pull request if needed\n # i.e. no PR with the same title exists\n\
|
||||||
| grep \"$GIT_UPDATE_BRANCH\") ]; then\n tea pr create --description \"\
|
\ if [ -z $(tea pr ls -f='head' -o simple | grep \"$GIT_UPDATE_BRANCH\")
|
||||||
Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\
|
]; then\n tea pr create --description \"Automatic npins update\" --title
|
||||||
\n fi\nelif [ -n \"$EXISTING_BRANCH\" ]; then\n git push --force\nfi\n"
|
\"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\n fi\nelif [ -n \"$EXISTING_BRANCH\"\
|
||||||
|
\ ]; then\n git push --force\nfi\n"
|
||||||
lix-module:
|
lix-module:
|
||||||
runs-on: nix
|
runs-on: nix
|
||||||
steps:
|
steps:
|
||||||
|
|
@ -459,17 +474,18 @@ jobs:
|
||||||
COMMIT_MESSAGE: 'chore(npins): Update lix-module'
|
COMMIT_MESSAGE: 'chore(npins): Update lix-module'
|
||||||
GIT_UPDATE_BRANCH: npins-updates/lix-module
|
GIT_UPDATE_BRANCH: npins-updates/lix-module
|
||||||
name: Open a PR if updates are present
|
name: Open a PR if updates are present
|
||||||
run: "npins update lix-module\n\nif [ ! -z \"$(git diff --name-only)\" ]; then\n\
|
run: "nix-shell shell.nix --run \"npins update lix-module\"\n\nif [ ! -z \"
|
||||||
\ echo \"[+] Changes detected, pushing updates.\"\n\n git add npins\n\n\
|
$(git diff --name-only)\" ]; then\n echo \"[+] Changes detected, pushing
|
||||||
\ if [ -n \"$EXISTING_BRANCH\" ]; then\n git commit --amend --no-edit\n\
|
updates.\"\n\n git add npins\n\n if [ -n \"$EXISTING_BRANCH\" ]; then\n\
|
||||||
\ git push --force\n else\n git commit --message \"$COMMIT_MESSAGE\"\
|
\ git commit --amend --no-edit\n git push --force\n else\n git commit
|
||||||
\n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\n # Connect to the
|
--message \"$COMMIT_MESSAGE\"\n git push -u origin \"$GIT_UPDATE_BRANCH\"\
|
||||||
server with the cli\n tea login add -n dgnum-chores -t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN
|
\n fi\n\n # Connect to the server with the cli\n tea login add -n dgnum-chores
|
||||||
}}\" -u https://git.dgnum.eu\n\n # Create a pull request if needed\n # i.e.
|
-t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN }}\" -u https://git.dgnum.eu\n\n \
|
||||||
no PR with the same title exists\n if [ -z $(tea pr ls -f='head' -o simple
|
\ # Create a pull request if needed\n # i.e. no PR with the same title exists\n\
|
||||||
| grep \"$GIT_UPDATE_BRANCH\") ]; then\n tea pr create --description \"\
|
\ if [ -z $(tea pr ls -f='head' -o simple | grep \"$GIT_UPDATE_BRANCH\")
|
||||||
Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\
|
]; then\n tea pr create --description \"Automatic npins update\" --title
|
||||||
\n fi\nelif [ -n \"$EXISTING_BRANCH\" ]; then\n git push --force\nfi\n"
|
\"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\n fi\nelif [ -n \"$EXISTING_BRANCH\"\
|
||||||
|
\ ]; then\n git push --force\nfi\n"
|
||||||
lon:
|
lon:
|
||||||
runs-on: nix
|
runs-on: nix
|
||||||
steps:
|
steps:
|
||||||
|
|
@ -488,17 +504,18 @@ jobs:
|
||||||
COMMIT_MESSAGE: 'chore(npins): Update lon'
|
COMMIT_MESSAGE: 'chore(npins): Update lon'
|
||||||
GIT_UPDATE_BRANCH: npins-updates/lon
|
GIT_UPDATE_BRANCH: npins-updates/lon
|
||||||
name: Open a PR if updates are present
|
name: Open a PR if updates are present
|
||||||
run: "npins update lon\n\nif [ ! -z \"$(git diff --name-only)\" ]; then\n echo
|
run: "nix-shell shell.nix --run \"npins update lon\"\n\nif [ ! -z \"$(git diff
|
||||||
\"[+] Changes detected, pushing updates.\"\n\n git add npins\n\n if [ -n
|
--name-only)\" ]; then\n echo \"[+] Changes detected, pushing updates.\"\n\
|
||||||
\"$EXISTING_BRANCH\" ]; then\n git commit --amend --no-edit\n git push
|
\n git add npins\n\n if [ -n \"$EXISTING_BRANCH\" ]; then\n git commit
|
||||||
--force\n else\n git commit --message \"$COMMIT_MESSAGE\"\n git push
|
--amend --no-edit\n git push --force\n else\n git commit --message
|
||||||
-u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\n # Connect to the server with the
|
\"$COMMIT_MESSAGE\"\n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\
|
||||||
cli\n tea login add -n dgnum-chores -t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN
|
\n # Connect to the server with the cli\n tea login add -n dgnum-chores
|
||||||
}}\" -u https://git.dgnum.eu\n\n # Create a pull request if needed\n # i.e.
|
-t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN }}\" -u https://git.dgnum.eu\n\n \
|
||||||
no PR with the same title exists\n if [ -z $(tea pr ls -f='head' -o simple
|
\ # Create a pull request if needed\n # i.e. no PR with the same title exists\n\
|
||||||
| grep \"$GIT_UPDATE_BRANCH\") ]; then\n tea pr create --description \"\
|
\ if [ -z $(tea pr ls -f='head' -o simple | grep \"$GIT_UPDATE_BRANCH\")
|
||||||
Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\
|
]; then\n tea pr create --description \"Automatic npins update\" --title
|
||||||
\n fi\nelif [ -n \"$EXISTING_BRANCH\" ]; then\n git push --force\nfi\n"
|
\"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\n fi\nelif [ -n \"$EXISTING_BRANCH\"\
|
||||||
|
\ ]; then\n git push --force\nfi\n"
|
||||||
metis:
|
metis:
|
||||||
runs-on: nix
|
runs-on: nix
|
||||||
steps:
|
steps:
|
||||||
|
|
@ -517,17 +534,18 @@ jobs:
|
||||||
COMMIT_MESSAGE: 'chore(npins): Update metis'
|
COMMIT_MESSAGE: 'chore(npins): Update metis'
|
||||||
GIT_UPDATE_BRANCH: npins-updates/metis
|
GIT_UPDATE_BRANCH: npins-updates/metis
|
||||||
name: Open a PR if updates are present
|
name: Open a PR if updates are present
|
||||||
run: "npins update metis\n\nif [ ! -z \"$(git diff --name-only)\" ]; then\n\
|
run: "nix-shell shell.nix --run \"npins update metis\"\n\nif [ ! -z \"$(git
|
||||||
\ echo \"[+] Changes detected, pushing updates.\"\n\n git add npins\n\n\
|
diff --name-only)\" ]; then\n echo \"[+] Changes detected, pushing updates.\"\
|
||||||
\ if [ -n \"$EXISTING_BRANCH\" ]; then\n git commit --amend --no-edit\n\
|
\n\n git add npins\n\n if [ -n \"$EXISTING_BRANCH\" ]; then\n git commit
|
||||||
\ git push --force\n else\n git commit --message \"$COMMIT_MESSAGE\"\
|
--amend --no-edit\n git push --force\n else\n git commit --message
|
||||||
\n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\n # Connect to the
|
\"$COMMIT_MESSAGE\"\n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\
|
||||||
server with the cli\n tea login add -n dgnum-chores -t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN
|
\n # Connect to the server with the cli\n tea login add -n dgnum-chores
|
||||||
}}\" -u https://git.dgnum.eu\n\n # Create a pull request if needed\n # i.e.
|
-t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN }}\" -u https://git.dgnum.eu\n\n \
|
||||||
no PR with the same title exists\n if [ -z $(tea pr ls -f='head' -o simple
|
\ # Create a pull request if needed\n # i.e. no PR with the same title exists\n\
|
||||||
| grep \"$GIT_UPDATE_BRANCH\") ]; then\n tea pr create --description \"\
|
\ if [ -z $(tea pr ls -f='head' -o simple | grep \"$GIT_UPDATE_BRANCH\")
|
||||||
Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\
|
]; then\n tea pr create --description \"Automatic npins update\" --title
|
||||||
\n fi\nelif [ -n \"$EXISTING_BRANCH\" ]; then\n git push --force\nfi\n"
|
\"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\n fi\nelif [ -n \"$EXISTING_BRANCH\"\
|
||||||
|
\ ]; then\n git push --force\nfi\n"
|
||||||
microvm_nix:
|
microvm_nix:
|
||||||
runs-on: nix
|
runs-on: nix
|
||||||
steps:
|
steps:
|
||||||
|
|
@ -546,17 +564,18 @@ jobs:
|
||||||
COMMIT_MESSAGE: 'chore(npins): Update microvm.nix'
|
COMMIT_MESSAGE: 'chore(npins): Update microvm.nix'
|
||||||
GIT_UPDATE_BRANCH: npins-updates/microvm.nix
|
GIT_UPDATE_BRANCH: npins-updates/microvm.nix
|
||||||
name: Open a PR if updates are present
|
name: Open a PR if updates are present
|
||||||
run: "npins update microvm.nix\n\nif [ ! -z \"$(git diff --name-only)\" ]; then\n\
|
run: "nix-shell shell.nix --run \"npins update microvm.nix\"\n\nif [ ! -z \"\
|
||||||
\ echo \"[+] Changes detected, pushing updates.\"\n\n git add npins\n\n\
|
$(git diff --name-only)\" ]; then\n echo \"[+] Changes detected, pushing
|
||||||
\ if [ -n \"$EXISTING_BRANCH\" ]; then\n git commit --amend --no-edit\n\
|
updates.\"\n\n git add npins\n\n if [ -n \"$EXISTING_BRANCH\" ]; then\n\
|
||||||
\ git push --force\n else\n git commit --message \"$COMMIT_MESSAGE\"\
|
\ git commit --amend --no-edit\n git push --force\n else\n git commit
|
||||||
\n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\n # Connect to the
|
--message \"$COMMIT_MESSAGE\"\n git push -u origin \"$GIT_UPDATE_BRANCH\"\
|
||||||
server with the cli\n tea login add -n dgnum-chores -t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN
|
\n fi\n\n # Connect to the server with the cli\n tea login add -n dgnum-chores
|
||||||
}}\" -u https://git.dgnum.eu\n\n # Create a pull request if needed\n # i.e.
|
-t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN }}\" -u https://git.dgnum.eu\n\n \
|
||||||
no PR with the same title exists\n if [ -z $(tea pr ls -f='head' -o simple
|
\ # Create a pull request if needed\n # i.e. no PR with the same title exists\n\
|
||||||
| grep \"$GIT_UPDATE_BRANCH\") ]; then\n tea pr create --description \"\
|
\ if [ -z $(tea pr ls -f='head' -o simple | grep \"$GIT_UPDATE_BRANCH\")
|
||||||
Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\
|
]; then\n tea pr create --description \"Automatic npins update\" --title
|
||||||
\n fi\nelif [ -n \"$EXISTING_BRANCH\" ]; then\n git push --force\nfi\n"
|
\"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\n fi\nelif [ -n \"$EXISTING_BRANCH\"\
|
||||||
|
\ ]; then\n git push --force\nfi\n"
|
||||||
nix-actions:
|
nix-actions:
|
||||||
runs-on: nix
|
runs-on: nix
|
||||||
steps:
|
steps:
|
||||||
|
|
@ -575,17 +594,18 @@ jobs:
|
||||||
COMMIT_MESSAGE: 'chore(npins): Update nix-actions'
|
COMMIT_MESSAGE: 'chore(npins): Update nix-actions'
|
||||||
GIT_UPDATE_BRANCH: npins-updates/nix-actions
|
GIT_UPDATE_BRANCH: npins-updates/nix-actions
|
||||||
name: Open a PR if updates are present
|
name: Open a PR if updates are present
|
||||||
run: "npins update nix-actions\n\nif [ ! -z \"$(git diff --name-only)\" ]; then\n\
|
run: "nix-shell shell.nix --run \"npins update nix-actions\"\n\nif [ ! -z \"\
|
||||||
\ echo \"[+] Changes detected, pushing updates.\"\n\n git add npins\n\n\
|
$(git diff --name-only)\" ]; then\n echo \"[+] Changes detected, pushing
|
||||||
\ if [ -n \"$EXISTING_BRANCH\" ]; then\n git commit --amend --no-edit\n\
|
updates.\"\n\n git add npins\n\n if [ -n \"$EXISTING_BRANCH\" ]; then\n\
|
||||||
\ git push --force\n else\n git commit --message \"$COMMIT_MESSAGE\"\
|
\ git commit --amend --no-edit\n git push --force\n else\n git commit
|
||||||
\n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\n # Connect to the
|
--message \"$COMMIT_MESSAGE\"\n git push -u origin \"$GIT_UPDATE_BRANCH\"\
|
||||||
server with the cli\n tea login add -n dgnum-chores -t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN
|
\n fi\n\n # Connect to the server with the cli\n tea login add -n dgnum-chores
|
||||||
}}\" -u https://git.dgnum.eu\n\n # Create a pull request if needed\n # i.e.
|
-t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN }}\" -u https://git.dgnum.eu\n\n \
|
||||||
no PR with the same title exists\n if [ -z $(tea pr ls -f='head' -o simple
|
\ # Create a pull request if needed\n # i.e. no PR with the same title exists\n\
|
||||||
| grep \"$GIT_UPDATE_BRANCH\") ]; then\n tea pr create --description \"\
|
\ if [ -z $(tea pr ls -f='head' -o simple | grep \"$GIT_UPDATE_BRANCH\")
|
||||||
Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\
|
]; then\n tea pr create --description \"Automatic npins update\" --title
|
||||||
\n fi\nelif [ -n \"$EXISTING_BRANCH\" ]; then\n git push --force\nfi\n"
|
\"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\n fi\nelif [ -n \"$EXISTING_BRANCH\"\
|
||||||
|
\ ]; then\n git push --force\nfi\n"
|
||||||
nix-modules:
|
nix-modules:
|
||||||
runs-on: nix
|
runs-on: nix
|
||||||
steps:
|
steps:
|
||||||
|
|
@ -604,17 +624,18 @@ jobs:
|
||||||
COMMIT_MESSAGE: 'chore(npins): Update nix-modules'
|
COMMIT_MESSAGE: 'chore(npins): Update nix-modules'
|
||||||
GIT_UPDATE_BRANCH: npins-updates/nix-modules
|
GIT_UPDATE_BRANCH: npins-updates/nix-modules
|
||||||
name: Open a PR if updates are present
|
name: Open a PR if updates are present
|
||||||
run: "npins update nix-modules\n\nif [ ! -z \"$(git diff --name-only)\" ]; then\n\
|
run: "nix-shell shell.nix --run \"npins update nix-modules\"\n\nif [ ! -z \"\
|
||||||
\ echo \"[+] Changes detected, pushing updates.\"\n\n git add npins\n\n\
|
$(git diff --name-only)\" ]; then\n echo \"[+] Changes detected, pushing
|
||||||
\ if [ -n \"$EXISTING_BRANCH\" ]; then\n git commit --amend --no-edit\n\
|
updates.\"\n\n git add npins\n\n if [ -n \"$EXISTING_BRANCH\" ]; then\n\
|
||||||
\ git push --force\n else\n git commit --message \"$COMMIT_MESSAGE\"\
|
\ git commit --amend --no-edit\n git push --force\n else\n git commit
|
||||||
\n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\n # Connect to the
|
--message \"$COMMIT_MESSAGE\"\n git push -u origin \"$GIT_UPDATE_BRANCH\"\
|
||||||
server with the cli\n tea login add -n dgnum-chores -t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN
|
\n fi\n\n # Connect to the server with the cli\n tea login add -n dgnum-chores
|
||||||
}}\" -u https://git.dgnum.eu\n\n # Create a pull request if needed\n # i.e.
|
-t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN }}\" -u https://git.dgnum.eu\n\n \
|
||||||
no PR with the same title exists\n if [ -z $(tea pr ls -f='head' -o simple
|
\ # Create a pull request if needed\n # i.e. no PR with the same title exists\n\
|
||||||
| grep \"$GIT_UPDATE_BRANCH\") ]; then\n tea pr create --description \"\
|
\ if [ -z $(tea pr ls -f='head' -o simple | grep \"$GIT_UPDATE_BRANCH\")
|
||||||
Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\
|
]; then\n tea pr create --description \"Automatic npins update\" --title
|
||||||
\n fi\nelif [ -n \"$EXISTING_BRANCH\" ]; then\n git push --force\nfi\n"
|
\"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\n fi\nelif [ -n \"$EXISTING_BRANCH\"\
|
||||||
|
\ ]; then\n git push --force\nfi\n"
|
||||||
nix-pkgs:
|
nix-pkgs:
|
||||||
runs-on: nix
|
runs-on: nix
|
||||||
steps:
|
steps:
|
||||||
|
|
@ -633,17 +654,18 @@ jobs:
|
||||||
COMMIT_MESSAGE: 'chore(npins): Update nix-pkgs'
|
COMMIT_MESSAGE: 'chore(npins): Update nix-pkgs'
|
||||||
GIT_UPDATE_BRANCH: npins-updates/nix-pkgs
|
GIT_UPDATE_BRANCH: npins-updates/nix-pkgs
|
||||||
name: Open a PR if updates are present
|
name: Open a PR if updates are present
|
||||||
run: "npins update nix-pkgs\n\nif [ ! -z \"$(git diff --name-only)\" ]; then\n\
|
run: "nix-shell shell.nix --run \"npins update nix-pkgs\"\n\nif [ ! -z \"$(git
|
||||||
\ echo \"[+] Changes detected, pushing updates.\"\n\n git add npins\n\n\
|
diff --name-only)\" ]; then\n echo \"[+] Changes detected, pushing updates.\"\
|
||||||
\ if [ -n \"$EXISTING_BRANCH\" ]; then\n git commit --amend --no-edit\n\
|
\n\n git add npins\n\n if [ -n \"$EXISTING_BRANCH\" ]; then\n git commit
|
||||||
\ git push --force\n else\n git commit --message \"$COMMIT_MESSAGE\"\
|
--amend --no-edit\n git push --force\n else\n git commit --message
|
||||||
\n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\n # Connect to the
|
\"$COMMIT_MESSAGE\"\n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\
|
||||||
server with the cli\n tea login add -n dgnum-chores -t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN
|
\n # Connect to the server with the cli\n tea login add -n dgnum-chores
|
||||||
}}\" -u https://git.dgnum.eu\n\n # Create a pull request if needed\n # i.e.
|
-t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN }}\" -u https://git.dgnum.eu\n\n \
|
||||||
no PR with the same title exists\n if [ -z $(tea pr ls -f='head' -o simple
|
\ # Create a pull request if needed\n # i.e. no PR with the same title exists\n\
|
||||||
| grep \"$GIT_UPDATE_BRANCH\") ]; then\n tea pr create --description \"\
|
\ if [ -z $(tea pr ls -f='head' -o simple | grep \"$GIT_UPDATE_BRANCH\")
|
||||||
Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\
|
]; then\n tea pr create --description \"Automatic npins update\" --title
|
||||||
\n fi\nelif [ -n \"$EXISTING_BRANCH\" ]; then\n git push --force\nfi\n"
|
\"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\n fi\nelif [ -n \"$EXISTING_BRANCH\"\
|
||||||
|
\ ]; then\n git push --force\nfi\n"
|
||||||
nix-reuse:
|
nix-reuse:
|
||||||
runs-on: nix
|
runs-on: nix
|
||||||
steps:
|
steps:
|
||||||
|
|
@ -662,17 +684,18 @@ jobs:
|
||||||
COMMIT_MESSAGE: 'chore(npins): Update nix-reuse'
|
COMMIT_MESSAGE: 'chore(npins): Update nix-reuse'
|
||||||
GIT_UPDATE_BRANCH: npins-updates/nix-reuse
|
GIT_UPDATE_BRANCH: npins-updates/nix-reuse
|
||||||
name: Open a PR if updates are present
|
name: Open a PR if updates are present
|
||||||
run: "npins update nix-reuse\n\nif [ ! -z \"$(git diff --name-only)\" ]; then\n\
|
run: "nix-shell shell.nix --run \"npins update nix-reuse\"\n\nif [ ! -z \"$(git
|
||||||
\ echo \"[+] Changes detected, pushing updates.\"\n\n git add npins\n\n\
|
diff --name-only)\" ]; then\n echo \"[+] Changes detected, pushing updates.\"\
|
||||||
\ if [ -n \"$EXISTING_BRANCH\" ]; then\n git commit --amend --no-edit\n\
|
\n\n git add npins\n\n if [ -n \"$EXISTING_BRANCH\" ]; then\n git commit
|
||||||
\ git push --force\n else\n git commit --message \"$COMMIT_MESSAGE\"\
|
--amend --no-edit\n git push --force\n else\n git commit --message
|
||||||
\n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\n # Connect to the
|
\"$COMMIT_MESSAGE\"\n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\
|
||||||
server with the cli\n tea login add -n dgnum-chores -t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN
|
\n # Connect to the server with the cli\n tea login add -n dgnum-chores
|
||||||
}}\" -u https://git.dgnum.eu\n\n # Create a pull request if needed\n # i.e.
|
-t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN }}\" -u https://git.dgnum.eu\n\n \
|
||||||
no PR with the same title exists\n if [ -z $(tea pr ls -f='head' -o simple
|
\ # Create a pull request if needed\n # i.e. no PR with the same title exists\n\
|
||||||
| grep \"$GIT_UPDATE_BRANCH\") ]; then\n tea pr create --description \"\
|
\ if [ -z $(tea pr ls -f='head' -o simple | grep \"$GIT_UPDATE_BRANCH\")
|
||||||
Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\
|
]; then\n tea pr create --description \"Automatic npins update\" --title
|
||||||
\n fi\nelif [ -n \"$EXISTING_BRANCH\" ]; then\n git push --force\nfi\n"
|
\"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\n fi\nelif [ -n \"$EXISTING_BRANCH\"\
|
||||||
|
\ ]; then\n git push --force\nfi\n"
|
||||||
nixos-24_05:
|
nixos-24_05:
|
||||||
runs-on: nix
|
runs-on: nix
|
||||||
steps:
|
steps:
|
||||||
|
|
@ -691,17 +714,18 @@ jobs:
|
||||||
COMMIT_MESSAGE: 'chore(npins): Update nixos-24.05'
|
COMMIT_MESSAGE: 'chore(npins): Update nixos-24.05'
|
||||||
GIT_UPDATE_BRANCH: npins-updates/nixos-24.05
|
GIT_UPDATE_BRANCH: npins-updates/nixos-24.05
|
||||||
name: Open a PR if updates are present
|
name: Open a PR if updates are present
|
||||||
run: "npins update nixos-24.05\n\nif [ ! -z \"$(git diff --name-only)\" ]; then\n\
|
run: "nix-shell shell.nix --run \"npins update nixos-24.05\"\n\nif [ ! -z \"\
|
||||||
\ echo \"[+] Changes detected, pushing updates.\"\n\n git add npins\n\n\
|
$(git diff --name-only)\" ]; then\n echo \"[+] Changes detected, pushing
|
||||||
\ if [ -n \"$EXISTING_BRANCH\" ]; then\n git commit --amend --no-edit\n\
|
updates.\"\n\n git add npins\n\n if [ -n \"$EXISTING_BRANCH\" ]; then\n\
|
||||||
\ git push --force\n else\n git commit --message \"$COMMIT_MESSAGE\"\
|
\ git commit --amend --no-edit\n git push --force\n else\n git commit
|
||||||
\n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\n # Connect to the
|
--message \"$COMMIT_MESSAGE\"\n git push -u origin \"$GIT_UPDATE_BRANCH\"\
|
||||||
server with the cli\n tea login add -n dgnum-chores -t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN
|
\n fi\n\n # Connect to the server with the cli\n tea login add -n dgnum-chores
|
||||||
}}\" -u https://git.dgnum.eu\n\n # Create a pull request if needed\n # i.e.
|
-t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN }}\" -u https://git.dgnum.eu\n\n \
|
||||||
no PR with the same title exists\n if [ -z $(tea pr ls -f='head' -o simple
|
\ # Create a pull request if needed\n # i.e. no PR with the same title exists\n\
|
||||||
| grep \"$GIT_UPDATE_BRANCH\") ]; then\n tea pr create --description \"\
|
\ if [ -z $(tea pr ls -f='head' -o simple | grep \"$GIT_UPDATE_BRANCH\")
|
||||||
Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\
|
]; then\n tea pr create --description \"Automatic npins update\" --title
|
||||||
\n fi\nelif [ -n \"$EXISTING_BRANCH\" ]; then\n git push --force\nfi\n"
|
\"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\n fi\nelif [ -n \"$EXISTING_BRANCH\"\
|
||||||
|
\ ]; then\n git push --force\nfi\n"
|
||||||
nixos-24_11:
|
nixos-24_11:
|
||||||
runs-on: nix
|
runs-on: nix
|
||||||
steps:
|
steps:
|
||||||
|
|
@ -720,17 +744,18 @@ jobs:
|
||||||
COMMIT_MESSAGE: 'chore(npins): Update nixos-24.11'
|
COMMIT_MESSAGE: 'chore(npins): Update nixos-24.11'
|
||||||
GIT_UPDATE_BRANCH: npins-updates/nixos-24.11
|
GIT_UPDATE_BRANCH: npins-updates/nixos-24.11
|
||||||
name: Open a PR if updates are present
|
name: Open a PR if updates are present
|
||||||
run: "npins update nixos-24.11\n\nif [ ! -z \"$(git diff --name-only)\" ]; then\n\
|
run: "nix-shell shell.nix --run \"npins update nixos-24.11\"\n\nif [ ! -z \"\
|
||||||
\ echo \"[+] Changes detected, pushing updates.\"\n\n git add npins\n\n\
|
$(git diff --name-only)\" ]; then\n echo \"[+] Changes detected, pushing
|
||||||
\ if [ -n \"$EXISTING_BRANCH\" ]; then\n git commit --amend --no-edit\n\
|
updates.\"\n\n git add npins\n\n if [ -n \"$EXISTING_BRANCH\" ]; then\n\
|
||||||
\ git push --force\n else\n git commit --message \"$COMMIT_MESSAGE\"\
|
\ git commit --amend --no-edit\n git push --force\n else\n git commit
|
||||||
\n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\n # Connect to the
|
--message \"$COMMIT_MESSAGE\"\n git push -u origin \"$GIT_UPDATE_BRANCH\"\
|
||||||
server with the cli\n tea login add -n dgnum-chores -t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN
|
\n fi\n\n # Connect to the server with the cli\n tea login add -n dgnum-chores
|
||||||
}}\" -u https://git.dgnum.eu\n\n # Create a pull request if needed\n # i.e.
|
-t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN }}\" -u https://git.dgnum.eu\n\n \
|
||||||
no PR with the same title exists\n if [ -z $(tea pr ls -f='head' -o simple
|
\ # Create a pull request if needed\n # i.e. no PR with the same title exists\n\
|
||||||
| grep \"$GIT_UPDATE_BRANCH\") ]; then\n tea pr create --description \"\
|
\ if [ -z $(tea pr ls -f='head' -o simple | grep \"$GIT_UPDATE_BRANCH\")
|
||||||
Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\
|
]; then\n tea pr create --description \"Automatic npins update\" --title
|
||||||
\n fi\nelif [ -n \"$EXISTING_BRANCH\" ]; then\n git push --force\nfi\n"
|
\"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\n fi\nelif [ -n \"$EXISTING_BRANCH\"\
|
||||||
|
\ ]; then\n git push --force\nfi\n"
|
||||||
nixos-generators:
|
nixos-generators:
|
||||||
runs-on: nix
|
runs-on: nix
|
||||||
steps:
|
steps:
|
||||||
|
|
@ -749,17 +774,18 @@ jobs:
|
||||||
COMMIT_MESSAGE: 'chore(npins): Update nixos-generators'
|
COMMIT_MESSAGE: 'chore(npins): Update nixos-generators'
|
||||||
GIT_UPDATE_BRANCH: npins-updates/nixos-generators
|
GIT_UPDATE_BRANCH: npins-updates/nixos-generators
|
||||||
name: Open a PR if updates are present
|
name: Open a PR if updates are present
|
||||||
run: "npins update nixos-generators\n\nif [ ! -z \"$(git diff --name-only)\"\
|
run: "nix-shell shell.nix --run \"npins update nixos-generators\"\n\nif [ !
|
||||||
\ ]; then\n echo \"[+] Changes detected, pushing updates.\"\n\n git add
|
-z \"$(git diff --name-only)\" ]; then\n echo \"[+] Changes detected, pushing
|
||||||
npins\n\n if [ -n \"$EXISTING_BRANCH\" ]; then\n git commit --amend --no-edit\n\
|
updates.\"\n\n git add npins\n\n if [ -n \"$EXISTING_BRANCH\" ]; then\n\
|
||||||
\ git push --force\n else\n git commit --message \"$COMMIT_MESSAGE\"\
|
\ git commit --amend --no-edit\n git push --force\n else\n git commit
|
||||||
\n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\n # Connect to the
|
--message \"$COMMIT_MESSAGE\"\n git push -u origin \"$GIT_UPDATE_BRANCH\"\
|
||||||
server with the cli\n tea login add -n dgnum-chores -t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN
|
\n fi\n\n # Connect to the server with the cli\n tea login add -n dgnum-chores
|
||||||
}}\" -u https://git.dgnum.eu\n\n # Create a pull request if needed\n # i.e.
|
-t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN }}\" -u https://git.dgnum.eu\n\n \
|
||||||
no PR with the same title exists\n if [ -z $(tea pr ls -f='head' -o simple
|
\ # Create a pull request if needed\n # i.e. no PR with the same title exists\n\
|
||||||
| grep \"$GIT_UPDATE_BRANCH\") ]; then\n tea pr create --description \"\
|
\ if [ -z $(tea pr ls -f='head' -o simple | grep \"$GIT_UPDATE_BRANCH\")
|
||||||
Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\
|
]; then\n tea pr create --description \"Automatic npins update\" --title
|
||||||
\n fi\nelif [ -n \"$EXISTING_BRANCH\" ]; then\n git push --force\nfi\n"
|
\"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\n fi\nelif [ -n \"$EXISTING_BRANCH\"\
|
||||||
|
\ ]; then\n git push --force\nfi\n"
|
||||||
nixos-unstable:
|
nixos-unstable:
|
||||||
runs-on: nix
|
runs-on: nix
|
||||||
steps:
|
steps:
|
||||||
|
|
@ -778,17 +804,18 @@ jobs:
|
||||||
COMMIT_MESSAGE: 'chore(npins): Update nixos-unstable'
|
COMMIT_MESSAGE: 'chore(npins): Update nixos-unstable'
|
||||||
GIT_UPDATE_BRANCH: npins-updates/nixos-unstable
|
GIT_UPDATE_BRANCH: npins-updates/nixos-unstable
|
||||||
name: Open a PR if updates are present
|
name: Open a PR if updates are present
|
||||||
run: "npins update nixos-unstable\n\nif [ ! -z \"$(git diff --name-only)\" ];
|
run: "nix-shell shell.nix --run \"npins update nixos-unstable\"\n\nif [ ! -z
|
||||||
then\n echo \"[+] Changes detected, pushing updates.\"\n\n git add npins\n\
|
\"$(git diff --name-only)\" ]; then\n echo \"[+] Changes detected, pushing
|
||||||
\n if [ -n \"$EXISTING_BRANCH\" ]; then\n git commit --amend --no-edit\n\
|
updates.\"\n\n git add npins\n\n if [ -n \"$EXISTING_BRANCH\" ]; then\n\
|
||||||
\ git push --force\n else\n git commit --message \"$COMMIT_MESSAGE\"\
|
\ git commit --amend --no-edit\n git push --force\n else\n git commit
|
||||||
\n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\n # Connect to the
|
--message \"$COMMIT_MESSAGE\"\n git push -u origin \"$GIT_UPDATE_BRANCH\"\
|
||||||
server with the cli\n tea login add -n dgnum-chores -t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN
|
\n fi\n\n # Connect to the server with the cli\n tea login add -n dgnum-chores
|
||||||
}}\" -u https://git.dgnum.eu\n\n # Create a pull request if needed\n # i.e.
|
-t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN }}\" -u https://git.dgnum.eu\n\n \
|
||||||
no PR with the same title exists\n if [ -z $(tea pr ls -f='head' -o simple
|
\ # Create a pull request if needed\n # i.e. no PR with the same title exists\n\
|
||||||
| grep \"$GIT_UPDATE_BRANCH\") ]; then\n tea pr create --description \"\
|
\ if [ -z $(tea pr ls -f='head' -o simple | grep \"$GIT_UPDATE_BRANCH\")
|
||||||
Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\
|
]; then\n tea pr create --description \"Automatic npins update\" --title
|
||||||
\n fi\nelif [ -n \"$EXISTING_BRANCH\" ]; then\n git push --force\nfi\n"
|
\"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\n fi\nelif [ -n \"$EXISTING_BRANCH\"\
|
||||||
|
\ ]; then\n git push --force\nfi\n"
|
||||||
signal-irc-bridge:
|
signal-irc-bridge:
|
||||||
runs-on: nix
|
runs-on: nix
|
||||||
steps:
|
steps:
|
||||||
|
|
@ -807,17 +834,18 @@ jobs:
|
||||||
COMMIT_MESSAGE: 'chore(npins): Update signal-irc-bridge'
|
COMMIT_MESSAGE: 'chore(npins): Update signal-irc-bridge'
|
||||||
GIT_UPDATE_BRANCH: npins-updates/signal-irc-bridge
|
GIT_UPDATE_BRANCH: npins-updates/signal-irc-bridge
|
||||||
name: Open a PR if updates are present
|
name: Open a PR if updates are present
|
||||||
run: "npins update signal-irc-bridge\n\nif [ ! -z \"$(git diff --name-only)\"\
|
run: "nix-shell shell.nix --run \"npins update signal-irc-bridge\"\n\nif [ !
|
||||||
\ ]; then\n echo \"[+] Changes detected, pushing updates.\"\n\n git add
|
-z \"$(git diff --name-only)\" ]; then\n echo \"[+] Changes detected, pushing
|
||||||
npins\n\n if [ -n \"$EXISTING_BRANCH\" ]; then\n git commit --amend --no-edit\n\
|
updates.\"\n\n git add npins\n\n if [ -n \"$EXISTING_BRANCH\" ]; then\n\
|
||||||
\ git push --force\n else\n git commit --message \"$COMMIT_MESSAGE\"\
|
\ git commit --amend --no-edit\n git push --force\n else\n git commit
|
||||||
\n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\n # Connect to the
|
--message \"$COMMIT_MESSAGE\"\n git push -u origin \"$GIT_UPDATE_BRANCH\"\
|
||||||
server with the cli\n tea login add -n dgnum-chores -t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN
|
\n fi\n\n # Connect to the server with the cli\n tea login add -n dgnum-chores
|
||||||
}}\" -u https://git.dgnum.eu\n\n # Create a pull request if needed\n # i.e.
|
-t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN }}\" -u https://git.dgnum.eu\n\n \
|
||||||
no PR with the same title exists\n if [ -z $(tea pr ls -f='head' -o simple
|
\ # Create a pull request if needed\n # i.e. no PR with the same title exists\n\
|
||||||
| grep \"$GIT_UPDATE_BRANCH\") ]; then\n tea pr create --description \"\
|
\ if [ -z $(tea pr ls -f='head' -o simple | grep \"$GIT_UPDATE_BRANCH\")
|
||||||
Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\
|
]; then\n tea pr create --description \"Automatic npins update\" --title
|
||||||
\n fi\nelif [ -n \"$EXISTING_BRANCH\" ]; then\n git push --force\nfi\n"
|
\"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\n fi\nelif [ -n \"$EXISTING_BRANCH\"\
|
||||||
|
\ ]; then\n git push --force\nfi\n"
|
||||||
stateless-uptime-kuma:
|
stateless-uptime-kuma:
|
||||||
runs-on: nix
|
runs-on: nix
|
||||||
steps:
|
steps:
|
||||||
|
|
@ -836,17 +864,18 @@ jobs:
|
||||||
COMMIT_MESSAGE: 'chore(npins): Update stateless-uptime-kuma'
|
COMMIT_MESSAGE: 'chore(npins): Update stateless-uptime-kuma'
|
||||||
GIT_UPDATE_BRANCH: npins-updates/stateless-uptime-kuma
|
GIT_UPDATE_BRANCH: npins-updates/stateless-uptime-kuma
|
||||||
name: Open a PR if updates are present
|
name: Open a PR if updates are present
|
||||||
run: "npins update stateless-uptime-kuma\n\nif [ ! -z \"$(git diff --name-only)\"\
|
run: "nix-shell shell.nix --run \"npins update stateless-uptime-kuma\"\n\nif
|
||||||
\ ]; then\n echo \"[+] Changes detected, pushing updates.\"\n\n git add
|
[ ! -z \"$(git diff --name-only)\" ]; then\n echo \"[+] Changes detected,
|
||||||
npins\n\n if [ -n \"$EXISTING_BRANCH\" ]; then\n git commit --amend --no-edit\n\
|
pushing updates.\"\n\n git add npins\n\n if [ -n \"$EXISTING_BRANCH\" ];
|
||||||
\ git push --force\n else\n git commit --message \"$COMMIT_MESSAGE\"\
|
then\n git commit --amend --no-edit\n git push --force\n else\n \
|
||||||
\n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\n # Connect to the
|
\ git commit --message \"$COMMIT_MESSAGE\"\n git push -u origin \"$GIT_UPDATE_BRANCH\"\
|
||||||
server with the cli\n tea login add -n dgnum-chores -t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN
|
\n fi\n\n # Connect to the server with the cli\n tea login add -n dgnum-chores
|
||||||
}}\" -u https://git.dgnum.eu\n\n # Create a pull request if needed\n # i.e.
|
-t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN }}\" -u https://git.dgnum.eu\n\n \
|
||||||
no PR with the same title exists\n if [ -z $(tea pr ls -f='head' -o simple
|
\ # Create a pull request if needed\n # i.e. no PR with the same title exists\n\
|
||||||
| grep \"$GIT_UPDATE_BRANCH\") ]; then\n tea pr create --description \"\
|
\ if [ -z $(tea pr ls -f='head' -o simple | grep \"$GIT_UPDATE_BRANCH\")
|
||||||
Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\
|
]; then\n tea pr create --description \"Automatic npins update\" --title
|
||||||
\n fi\nelif [ -n \"$EXISTING_BRANCH\" ]; then\n git push --force\nfi\n"
|
\"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\n fi\nelif [ -n \"$EXISTING_BRANCH\"\
|
||||||
|
\ ]; then\n git push --force\nfi\n"
|
||||||
wp4nix:
|
wp4nix:
|
||||||
runs-on: nix
|
runs-on: nix
|
||||||
steps:
|
steps:
|
||||||
|
|
@ -865,17 +894,18 @@ jobs:
|
||||||
COMMIT_MESSAGE: 'chore(npins): Update wp4nix'
|
COMMIT_MESSAGE: 'chore(npins): Update wp4nix'
|
||||||
GIT_UPDATE_BRANCH: npins-updates/wp4nix
|
GIT_UPDATE_BRANCH: npins-updates/wp4nix
|
||||||
name: Open a PR if updates are present
|
name: Open a PR if updates are present
|
||||||
run: "npins update wp4nix\n\nif [ ! -z \"$(git diff --name-only)\" ]; then\n\
|
run: "nix-shell shell.nix --run \"npins update wp4nix\"\n\nif [ ! -z \"$(git
|
||||||
\ echo \"[+] Changes detected, pushing updates.\"\n\n git add npins\n\n\
|
diff --name-only)\" ]; then\n echo \"[+] Changes detected, pushing updates.\"\
|
||||||
\ if [ -n \"$EXISTING_BRANCH\" ]; then\n git commit --amend --no-edit\n\
|
\n\n git add npins\n\n if [ -n \"$EXISTING_BRANCH\" ]; then\n git commit
|
||||||
\ git push --force\n else\n git commit --message \"$COMMIT_MESSAGE\"\
|
--amend --no-edit\n git push --force\n else\n git commit --message
|
||||||
\n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\n # Connect to the
|
\"$COMMIT_MESSAGE\"\n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\
|
||||||
server with the cli\n tea login add -n dgnum-chores -t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN
|
\n # Connect to the server with the cli\n tea login add -n dgnum-chores
|
||||||
}}\" -u https://git.dgnum.eu\n\n # Create a pull request if needed\n # i.e.
|
-t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN }}\" -u https://git.dgnum.eu\n\n \
|
||||||
no PR with the same title exists\n if [ -z $(tea pr ls -f='head' -o simple
|
\ # Create a pull request if needed\n # i.e. no PR with the same title exists\n\
|
||||||
| grep \"$GIT_UPDATE_BRANCH\") ]; then\n tea pr create --description \"\
|
\ if [ -z $(tea pr ls -f='head' -o simple | grep \"$GIT_UPDATE_BRANCH\")
|
||||||
Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\
|
]; then\n tea pr create --description \"Automatic npins update\" --title
|
||||||
\n fi\nelif [ -n \"$EXISTING_BRANCH\" ]; then\n git push --force\nfi\n"
|
\"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\n fi\nelif [ -n \"$EXISTING_BRANCH\"\
|
||||||
|
\ ]; then\n git push --force\nfi\n"
|
||||||
name: Update dependencies
|
name: Update dependencies
|
||||||
on:
|
on:
|
||||||
schedule:
|
schedule:
|
||||||
|
|
|
||||||
|
|
@ -61,7 +61,7 @@ in
|
||||||
name = "Open a PR if updates are present";
|
name = "Open a PR if updates are present";
|
||||||
run = # bash
|
run = # bash
|
||||||
''
|
''
|
||||||
npins update ${name}
|
nix-shell shell.nix --run "npins update ${name}"
|
||||||
|
|
||||||
if [ ! -z "$(git diff --name-only)" ]; then
|
if [ ! -z "$(git diff --name-only)" ]; then
|
||||||
echo "[+] Changes detected, pushing updates."
|
echo "[+] Changes detected, pushing updates."
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue