cst1/infrastructure
1
0
Fork 0
forked from DGNum/infrastructure
Code Pull requests Activity

fix(worflows/npins-update): don't try to open PR if not needed

Browse source
This commit is contained in:
catvayor 2025-04-09 18:27:09 +02:00
parent ca9d1b1b1d
commit e27790cf28
Signed by untrusted user: lbailly
GPG key ID: CE3E645251AC63F3
2 changed files with 121 additions and 121 deletions
Download patch file Download diff file Expand all files Collapse all files

240
.forgejo/workflows/npins-update.yaml
View file

@ -31,10 +31,10 @@ jobs:
\n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\n # Connect to the \n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\n # Connect to the
server with the cli\n tea login add -n dgnum-chores -t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN server with the cli\n tea login add -n dgnum-chores -t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN
}}\" -u https://git.dgnum.eu\n\n # Create a pull request if needed\n # i.e. }}\" -u https://git.dgnum.eu\n\n # Create a pull request if needed\n # i.e.
no PR with the same title exists\n if [ -z $(tea pr ls -f='title,author' no PR with the same title exists\n if [ -z $(tea pr ls -f='head' -o simple
-o simple | grep \"$COMMIT_MESSAGE dgnum-chores\") ]; then\n tea pr create | grep \"$GIT_UPDATE_BRANCH\") ]; then\n tea pr create --description \"\
--description \"Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\
\"$GIT_UPDATE_BRANCH\"\n fi\nfi\n" \n fi\nfi\n"
arkheon: arkheon:
runs-on: nix runs-on: nix
steps: steps:
@ -60,10 +60,10 @@ jobs:
\n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\n # Connect to the \n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\n # Connect to the
server with the cli\n tea login add -n dgnum-chores -t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN server with the cli\n tea login add -n dgnum-chores -t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN
}}\" -u https://git.dgnum.eu\n\n # Create a pull request if needed\n # i.e. }}\" -u https://git.dgnum.eu\n\n # Create a pull request if needed\n # i.e.
no PR with the same title exists\n if [ -z $(tea pr ls -f='title,author' no PR with the same title exists\n if [ -z $(tea pr ls -f='head' -o simple
-o simple | grep \"$COMMIT_MESSAGE dgnum-chores\") ]; then\n tea pr create | grep \"$GIT_UPDATE_BRANCH\") ]; then\n tea pr create --description \"\
--description \"Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\
\"$GIT_UPDATE_BRANCH\"\n fi\nfi\n" \n fi\nfi\n"
cas-eleves: cas-eleves:
runs-on: nix runs-on: nix
steps: steps:
@ -89,10 +89,10 @@ jobs:
\n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\n # Connect to the \n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\n # Connect to the
server with the cli\n tea login add -n dgnum-chores -t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN server with the cli\n tea login add -n dgnum-chores -t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN
}}\" -u https://git.dgnum.eu\n\n # Create a pull request if needed\n # i.e. }}\" -u https://git.dgnum.eu\n\n # Create a pull request if needed\n # i.e.
no PR with the same title exists\n if [ -z $(tea pr ls -f='title,author' no PR with the same title exists\n if [ -z $(tea pr ls -f='head' -o simple
-o simple | grep \"$COMMIT_MESSAGE dgnum-chores\") ]; then\n tea pr create | grep \"$GIT_UPDATE_BRANCH\") ]; then\n tea pr create --description \"\
--description \"Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\
\"$GIT_UPDATE_BRANCH\"\n fi\nfi\n" \n fi\nfi\n"
cgroup-exporter: cgroup-exporter:
runs-on: nix runs-on: nix
steps: steps:
@ -118,10 +118,10 @@ jobs:
\n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\n # Connect to the \n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\n # Connect to the
server with the cli\n tea login add -n dgnum-chores -t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN server with the cli\n tea login add -n dgnum-chores -t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN
}}\" -u https://git.dgnum.eu\n\n # Create a pull request if needed\n # i.e. }}\" -u https://git.dgnum.eu\n\n # Create a pull request if needed\n # i.e.
no PR with the same title exists\n if [ -z $(tea pr ls -f='title,author' no PR with the same title exists\n if [ -z $(tea pr ls -f='head' -o simple
-o simple | grep \"$COMMIT_MESSAGE dgnum-chores\") ]; then\n tea pr create | grep \"$GIT_UPDATE_BRANCH\") ]; then\n tea pr create --description \"\
--description \"Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\
\"$GIT_UPDATE_BRANCH\"\n fi\nfi\n" \n fi\nfi\n"
colmena: colmena:
runs-on: nix runs-on: nix
steps: steps:
@ -147,10 +147,10 @@ jobs:
\n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\n # Connect to the \n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\n # Connect to the
server with the cli\n tea login add -n dgnum-chores -t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN server with the cli\n tea login add -n dgnum-chores -t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN
}}\" -u https://git.dgnum.eu\n\n # Create a pull request if needed\n # i.e. }}\" -u https://git.dgnum.eu\n\n # Create a pull request if needed\n # i.e.
no PR with the same title exists\n if [ -z $(tea pr ls -f='title,author' no PR with the same title exists\n if [ -z $(tea pr ls -f='head' -o simple
-o simple | grep \"$COMMIT_MESSAGE dgnum-chores\") ]; then\n tea pr create | grep \"$GIT_UPDATE_BRANCH\") ]; then\n tea pr create --description \"\
--description \"Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\
\"$GIT_UPDATE_BRANCH\"\n fi\nfi\n" \n fi\nfi\n"
dgsi: dgsi:
runs-on: nix runs-on: nix
steps: steps:
@ -176,10 +176,10 @@ jobs:
\n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\n # Connect to the \n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\n # Connect to the
server with the cli\n tea login add -n dgnum-chores -t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN server with the cli\n tea login add -n dgnum-chores -t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN
}}\" -u https://git.dgnum.eu\n\n # Create a pull request if needed\n # i.e. }}\" -u https://git.dgnum.eu\n\n # Create a pull request if needed\n # i.e.
no PR with the same title exists\n if [ -z $(tea pr ls -f='title,author' no PR with the same title exists\n if [ -z $(tea pr ls -f='head' -o simple
-o simple | grep \"$COMMIT_MESSAGE dgnum-chores\") ]; then\n tea pr create | grep \"$GIT_UPDATE_BRANCH\") ]; then\n tea pr create --description \"\
--description \"Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\
\"$GIT_UPDATE_BRANCH\"\n fi\nfi\n" \n fi\nfi\n"
disko: disko:
runs-on: nix runs-on: nix
steps: steps:
@ -205,10 +205,10 @@ jobs:
\n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\n # Connect to the \n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\n # Connect to the
server with the cli\n tea login add -n dgnum-chores -t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN server with the cli\n tea login add -n dgnum-chores -t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN
}}\" -u https://git.dgnum.eu\n\n # Create a pull request if needed\n # i.e. }}\" -u https://git.dgnum.eu\n\n # Create a pull request if needed\n # i.e.
no PR with the same title exists\n if [ -z $(tea pr ls -f='title,author' no PR with the same title exists\n if [ -z $(tea pr ls -f='head' -o simple
-o simple | grep \"$COMMIT_MESSAGE dgnum-chores\") ]; then\n tea pr create | grep \"$GIT_UPDATE_BRANCH\") ]; then\n tea pr create --description \"\
--description \"Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\
\"$GIT_UPDATE_BRANCH\"\n fi\nfi\n" \n fi\nfi\n"
dns_nix: dns_nix:
runs-on: nix runs-on: nix
steps: steps:
@ -234,10 +234,10 @@ jobs:
\n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\n # Connect to the \n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\n # Connect to the
server with the cli\n tea login add -n dgnum-chores -t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN server with the cli\n tea login add -n dgnum-chores -t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN
}}\" -u https://git.dgnum.eu\n\n # Create a pull request if needed\n # i.e. }}\" -u https://git.dgnum.eu\n\n # Create a pull request if needed\n # i.e.
no PR with the same title exists\n if [ -z $(tea pr ls -f='title,author' no PR with the same title exists\n if [ -z $(tea pr ls -f='head' -o simple
-o simple | grep \"$COMMIT_MESSAGE dgnum-chores\") ]; then\n tea pr create | grep \"$GIT_UPDATE_BRANCH\") ]; then\n tea pr create --description \"\
--description \"Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\
\"$GIT_UPDATE_BRANCH\"\n fi\nfi\n" \n fi\nfi\n"
git-hooks: git-hooks:
runs-on: nix runs-on: nix
steps: steps:
@ -263,10 +263,10 @@ jobs:
\n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\n # Connect to the \n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\n # Connect to the
server with the cli\n tea login add -n dgnum-chores -t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN server with the cli\n tea login add -n dgnum-chores -t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN
}}\" -u https://git.dgnum.eu\n\n # Create a pull request if needed\n # i.e. }}\" -u https://git.dgnum.eu\n\n # Create a pull request if needed\n # i.e.
no PR with the same title exists\n if [ -z $(tea pr ls -f='title,author' no PR with the same title exists\n if [ -z $(tea pr ls -f='head' -o simple
-o simple | grep \"$COMMIT_MESSAGE dgnum-chores\") ]; then\n tea pr create | grep \"$GIT_UPDATE_BRANCH\") ]; then\n tea pr create --description \"\
--description \"Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\
\"$GIT_UPDATE_BRANCH\"\n fi\nfi\n" \n fi\nfi\n"
kadenios: kadenios:
runs-on: nix runs-on: nix
steps: steps:
@ -292,10 +292,10 @@ jobs:
\n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\n # Connect to the \n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\n # Connect to the
server with the cli\n tea login add -n dgnum-chores -t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN server with the cli\n tea login add -n dgnum-chores -t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN
}}\" -u https://git.dgnum.eu\n\n # Create a pull request if needed\n # i.e. }}\" -u https://git.dgnum.eu\n\n # Create a pull request if needed\n # i.e.
no PR with the same title exists\n if [ -z $(tea pr ls -f='title,author' no PR with the same title exists\n if [ -z $(tea pr ls -f='head' -o simple
-o simple | grep \"$COMMIT_MESSAGE dgnum-chores\") ]; then\n tea pr create | grep \"$GIT_UPDATE_BRANCH\") ]; then\n tea pr create --description \"\
--description \"Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\
\"$GIT_UPDATE_BRANCH\"\n fi\nfi\n" \n fi\nfi\n"
kahulm: kahulm:
runs-on: nix runs-on: nix
steps: steps:
@ -321,10 +321,10 @@ jobs:
\n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\n # Connect to the \n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\n # Connect to the
server with the cli\n tea login add -n dgnum-chores -t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN server with the cli\n tea login add -n dgnum-chores -t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN
}}\" -u https://git.dgnum.eu\n\n # Create a pull request if needed\n # i.e. }}\" -u https://git.dgnum.eu\n\n # Create a pull request if needed\n # i.e.
no PR with the same title exists\n if [ -z $(tea pr ls -f='title,author' no PR with the same title exists\n if [ -z $(tea pr ls -f='head' -o simple
-o simple | grep \"$COMMIT_MESSAGE dgnum-chores\") ]; then\n tea pr create | grep \"$GIT_UPDATE_BRANCH\") ]; then\n tea pr create --description \"\
--description \"Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\
\"$GIT_UPDATE_BRANCH\"\n fi\nfi\n" \n fi\nfi\n"
kat-pkgs: kat-pkgs:
runs-on: nix runs-on: nix
steps: steps:
@ -350,10 +350,10 @@ jobs:
\n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\n # Connect to the \n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\n # Connect to the
server with the cli\n tea login add -n dgnum-chores -t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN server with the cli\n tea login add -n dgnum-chores -t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN
}}\" -u https://git.dgnum.eu\n\n # Create a pull request if needed\n # i.e. }}\" -u https://git.dgnum.eu\n\n # Create a pull request if needed\n # i.e.
no PR with the same title exists\n if [ -z $(tea pr ls -f='title,author' no PR with the same title exists\n if [ -z $(tea pr ls -f='head' -o simple
-o simple | grep \"$COMMIT_MESSAGE dgnum-chores\") ]; then\n tea pr create | grep \"$GIT_UPDATE_BRANCH\") ]; then\n tea pr create --description \"\
--description \"Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\
\"$GIT_UPDATE_BRANCH\"\n fi\nfi\n" \n fi\nfi\n"
liminix: liminix:
runs-on: nix runs-on: nix
steps: steps:
@ -379,10 +379,10 @@ jobs:
\n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\n # Connect to the \n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\n # Connect to the
server with the cli\n tea login add -n dgnum-chores -t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN server with the cli\n tea login add -n dgnum-chores -t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN
}}\" -u https://git.dgnum.eu\n\n # Create a pull request if needed\n # i.e. }}\" -u https://git.dgnum.eu\n\n # Create a pull request if needed\n # i.e.
no PR with the same title exists\n if [ -z $(tea pr ls -f='title,author' no PR with the same title exists\n if [ -z $(tea pr ls -f='head' -o simple
-o simple | grep \"$COMMIT_MESSAGE dgnum-chores\") ]; then\n tea pr create | grep \"$GIT_UPDATE_BRANCH\") ]; then\n tea pr create --description \"\
--description \"Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\
\"$GIT_UPDATE_BRANCH\"\n fi\nfi\n" \n fi\nfi\n"
linkal: linkal:
runs-on: nix runs-on: nix
steps: steps:
@ -408,10 +408,10 @@ jobs:
\n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\n # Connect to the \n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\n # Connect to the
server with the cli\n tea login add -n dgnum-chores -t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN server with the cli\n tea login add -n dgnum-chores -t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN
}}\" -u https://git.dgnum.eu\n\n # Create a pull request if needed\n # i.e. }}\" -u https://git.dgnum.eu\n\n # Create a pull request if needed\n # i.e.
no PR with the same title exists\n if [ -z $(tea pr ls -f='title,author' no PR with the same title exists\n if [ -z $(tea pr ls -f='head' -o simple
-o simple | grep \"$COMMIT_MESSAGE dgnum-chores\") ]; then\n tea pr create | grep \"$GIT_UPDATE_BRANCH\") ]; then\n tea pr create --description \"\
--description \"Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\
\"$GIT_UPDATE_BRANCH\"\n fi\nfi\n" \n fi\nfi\n"
lix: lix:
runs-on: nix runs-on: nix
steps: steps:
@ -437,10 +437,10 @@ jobs:
-u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\n # Connect to the server with the -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\n # Connect to the server with the
cli\n tea login add -n dgnum-chores -t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN cli\n tea login add -n dgnum-chores -t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN
}}\" -u https://git.dgnum.eu\n\n # Create a pull request if needed\n # i.e. }}\" -u https://git.dgnum.eu\n\n # Create a pull request if needed\n # i.e.
no PR with the same title exists\n if [ -z $(tea pr ls -f='title,author' no PR with the same title exists\n if [ -z $(tea pr ls -f='head' -o simple
-o simple | grep \"$COMMIT_MESSAGE dgnum-chores\") ]; then\n tea pr create | grep \"$GIT_UPDATE_BRANCH\") ]; then\n tea pr create --description \"\
--description \"Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\
\"$GIT_UPDATE_BRANCH\"\n fi\nfi\n" \n fi\nfi\n"
lix-module: lix-module:
runs-on: nix runs-on: nix
steps: steps:
@ -466,10 +466,10 @@ jobs:
\n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\n # Connect to the \n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\n # Connect to the
server with the cli\n tea login add -n dgnum-chores -t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN server with the cli\n tea login add -n dgnum-chores -t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN
}}\" -u https://git.dgnum.eu\n\n # Create a pull request if needed\n # i.e. }}\" -u https://git.dgnum.eu\n\n # Create a pull request if needed\n # i.e.
no PR with the same title exists\n if [ -z $(tea pr ls -f='title,author' no PR with the same title exists\n if [ -z $(tea pr ls -f='head' -o simple
-o simple | grep \"$COMMIT_MESSAGE dgnum-chores\") ]; then\n tea pr create | grep \"$GIT_UPDATE_BRANCH\") ]; then\n tea pr create --description \"\
--description \"Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\
\"$GIT_UPDATE_BRANCH\"\n fi\nfi\n" \n fi\nfi\n"
lon: lon:
runs-on: nix runs-on: nix
steps: steps:
@ -495,10 +495,10 @@ jobs:
-u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\n # Connect to the server with the -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\n # Connect to the server with the
cli\n tea login add -n dgnum-chores -t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN cli\n tea login add -n dgnum-chores -t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN
}}\" -u https://git.dgnum.eu\n\n # Create a pull request if needed\n # i.e. }}\" -u https://git.dgnum.eu\n\n # Create a pull request if needed\n # i.e.
no PR with the same title exists\n if [ -z $(tea pr ls -f='title,author' no PR with the same title exists\n if [ -z $(tea pr ls -f='head' -o simple
-o simple | grep \"$COMMIT_MESSAGE dgnum-chores\") ]; then\n tea pr create | grep \"$GIT_UPDATE_BRANCH\") ]; then\n tea pr create --description \"\
--description \"Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\
\"$GIT_UPDATE_BRANCH\"\n fi\nfi\n" \n fi\nfi\n"
metis: metis:
runs-on: nix runs-on: nix
steps: steps:
@ -524,10 +524,10 @@ jobs:
\n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\n # Connect to the \n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\n # Connect to the
server with the cli\n tea login add -n dgnum-chores -t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN server with the cli\n tea login add -n dgnum-chores -t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN
}}\" -u https://git.dgnum.eu\n\n # Create a pull request if needed\n # i.e. }}\" -u https://git.dgnum.eu\n\n # Create a pull request if needed\n # i.e.
no PR with the same title exists\n if [ -z $(tea pr ls -f='title,author' no PR with the same title exists\n if [ -z $(tea pr ls -f='head' -o simple
-o simple | grep \"$COMMIT_MESSAGE dgnum-chores\") ]; then\n tea pr create | grep \"$GIT_UPDATE_BRANCH\") ]; then\n tea pr create --description \"\
--description \"Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\
\"$GIT_UPDATE_BRANCH\"\n fi\nfi\n" \n fi\nfi\n"
microvm_nix: microvm_nix:
runs-on: nix runs-on: nix
steps: steps:
@ -553,10 +553,10 @@ jobs:
\n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\n # Connect to the \n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\n # Connect to the
server with the cli\n tea login add -n dgnum-chores -t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN server with the cli\n tea login add -n dgnum-chores -t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN
}}\" -u https://git.dgnum.eu\n\n # Create a pull request if needed\n # i.e. }}\" -u https://git.dgnum.eu\n\n # Create a pull request if needed\n # i.e.
no PR with the same title exists\n if [ -z $(tea pr ls -f='title,author' no PR with the same title exists\n if [ -z $(tea pr ls -f='head' -o simple
-o simple | grep \"$COMMIT_MESSAGE dgnum-chores\") ]; then\n tea pr create | grep \"$GIT_UPDATE_BRANCH\") ]; then\n tea pr create --description \"\
--description \"Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\
\"$GIT_UPDATE_BRANCH\"\n fi\nfi\n" \n fi\nfi\n"
nix-actions: nix-actions:
runs-on: nix runs-on: nix
steps: steps:
@ -582,10 +582,10 @@ jobs:
\n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\n # Connect to the \n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\n # Connect to the
server with the cli\n tea login add -n dgnum-chores -t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN server with the cli\n tea login add -n dgnum-chores -t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN
}}\" -u https://git.dgnum.eu\n\n # Create a pull request if needed\n # i.e. }}\" -u https://git.dgnum.eu\n\n # Create a pull request if needed\n # i.e.
no PR with the same title exists\n if [ -z $(tea pr ls -f='title,author' no PR with the same title exists\n if [ -z $(tea pr ls -f='head' -o simple
-o simple | grep \"$COMMIT_MESSAGE dgnum-chores\") ]; then\n tea pr create | grep \"$GIT_UPDATE_BRANCH\") ]; then\n tea pr create --description \"\
--description \"Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\
\"$GIT_UPDATE_BRANCH\"\n fi\nfi\n" \n fi\nfi\n"
nix-modules: nix-modules:
runs-on: nix runs-on: nix
steps: steps:
@ -611,10 +611,10 @@ jobs:
\n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\n # Connect to the \n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\n # Connect to the
server with the cli\n tea login add -n dgnum-chores -t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN server with the cli\n tea login add -n dgnum-chores -t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN
}}\" -u https://git.dgnum.eu\n\n # Create a pull request if needed\n # i.e. }}\" -u https://git.dgnum.eu\n\n # Create a pull request if needed\n # i.e.
no PR with the same title exists\n if [ -z $(tea pr ls -f='title,author' no PR with the same title exists\n if [ -z $(tea pr ls -f='head' -o simple
-o simple | grep \"$COMMIT_MESSAGE dgnum-chores\") ]; then\n tea pr create | grep \"$GIT_UPDATE_BRANCH\") ]; then\n tea pr create --description \"\
--description \"Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\
\"$GIT_UPDATE_BRANCH\"\n fi\nfi\n" \n fi\nfi\n"
nix-pkgs: nix-pkgs:
runs-on: nix runs-on: nix
steps: steps:
@ -640,10 +640,10 @@ jobs:
\n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\n # Connect to the \n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\n # Connect to the
server with the cli\n tea login add -n dgnum-chores -t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN server with the cli\n tea login add -n dgnum-chores -t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN
}}\" -u https://git.dgnum.eu\n\n # Create a pull request if needed\n # i.e. }}\" -u https://git.dgnum.eu\n\n # Create a pull request if needed\n # i.e.
no PR with the same title exists\n if [ -z $(tea pr ls -f='title,author' no PR with the same title exists\n if [ -z $(tea pr ls -f='head' -o simple
-o simple | grep \"$COMMIT_MESSAGE dgnum-chores\") ]; then\n tea pr create | grep \"$GIT_UPDATE_BRANCH\") ]; then\n tea pr create --description \"\
--description \"Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\
\"$GIT_UPDATE_BRANCH\"\n fi\nfi\n" \n fi\nfi\n"
nix-reuse: nix-reuse:
runs-on: nix runs-on: nix
steps: steps:
@ -669,10 +669,10 @@ jobs:
\n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\n # Connect to the \n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\n # Connect to the
server with the cli\n tea login add -n dgnum-chores -t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN server with the cli\n tea login add -n dgnum-chores -t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN
}}\" -u https://git.dgnum.eu\n\n # Create a pull request if needed\n # i.e. }}\" -u https://git.dgnum.eu\n\n # Create a pull request if needed\n # i.e.
no PR with the same title exists\n if [ -z $(tea pr ls -f='title,author' no PR with the same title exists\n if [ -z $(tea pr ls -f='head' -o simple
-o simple | grep \"$COMMIT_MESSAGE dgnum-chores\") ]; then\n tea pr create | grep \"$GIT_UPDATE_BRANCH\") ]; then\n tea pr create --description \"\
--description \"Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\
\"$GIT_UPDATE_BRANCH\"\n fi\nfi\n" \n fi\nfi\n"
nixos-24_05: nixos-24_05:
runs-on: nix runs-on: nix
steps: steps:
@ -698,10 +698,10 @@ jobs:
\n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\n # Connect to the \n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\n # Connect to the
server with the cli\n tea login add -n dgnum-chores -t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN server with the cli\n tea login add -n dgnum-chores -t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN
}}\" -u https://git.dgnum.eu\n\n # Create a pull request if needed\n # i.e. }}\" -u https://git.dgnum.eu\n\n # Create a pull request if needed\n # i.e.
no PR with the same title exists\n if [ -z $(tea pr ls -f='title,author' no PR with the same title exists\n if [ -z $(tea pr ls -f='head' -o simple
-o simple | grep \"$COMMIT_MESSAGE dgnum-chores\") ]; then\n tea pr create | grep \"$GIT_UPDATE_BRANCH\") ]; then\n tea pr create --description \"\
--description \"Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\
\"$GIT_UPDATE_BRANCH\"\n fi\nfi\n" \n fi\nfi\n"
nixos-24_11: nixos-24_11:
runs-on: nix runs-on: nix
steps: steps:
@ -727,10 +727,10 @@ jobs:
\n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\n # Connect to the \n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\n # Connect to the
server with the cli\n tea login add -n dgnum-chores -t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN server with the cli\n tea login add -n dgnum-chores -t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN
}}\" -u https://git.dgnum.eu\n\n # Create a pull request if needed\n # i.e. }}\" -u https://git.dgnum.eu\n\n # Create a pull request if needed\n # i.e.
no PR with the same title exists\n if [ -z $(tea pr ls -f='title,author' no PR with the same title exists\n if [ -z $(tea pr ls -f='head' -o simple
-o simple | grep \"$COMMIT_MESSAGE dgnum-chores\") ]; then\n tea pr create | grep \"$GIT_UPDATE_BRANCH\") ]; then\n tea pr create --description \"\
--description \"Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\
\"$GIT_UPDATE_BRANCH\"\n fi\nfi\n" \n fi\nfi\n"
nixos-generators: nixos-generators:
runs-on: nix runs-on: nix
steps: steps:
@ -756,10 +756,10 @@ jobs:
\n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\n # Connect to the \n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\n # Connect to the
server with the cli\n tea login add -n dgnum-chores -t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN server with the cli\n tea login add -n dgnum-chores -t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN
}}\" -u https://git.dgnum.eu\n\n # Create a pull request if needed\n # i.e. }}\" -u https://git.dgnum.eu\n\n # Create a pull request if needed\n # i.e.
no PR with the same title exists\n if [ -z $(tea pr ls -f='title,author' no PR with the same title exists\n if [ -z $(tea pr ls -f='head' -o simple
-o simple | grep \"$COMMIT_MESSAGE dgnum-chores\") ]; then\n tea pr create | grep \"$GIT_UPDATE_BRANCH\") ]; then\n tea pr create --description \"\
--description \"Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\
\"$GIT_UPDATE_BRANCH\"\n fi\nfi\n" \n fi\nfi\n"
nixos-unstable: nixos-unstable:
runs-on: nix runs-on: nix
steps: steps:
@ -785,10 +785,10 @@ jobs:
\n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\n # Connect to the \n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\n # Connect to the
server with the cli\n tea login add -n dgnum-chores -t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN server with the cli\n tea login add -n dgnum-chores -t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN
}}\" -u https://git.dgnum.eu\n\n # Create a pull request if needed\n # i.e. }}\" -u https://git.dgnum.eu\n\n # Create a pull request if needed\n # i.e.
no PR with the same title exists\n if [ -z $(tea pr ls -f='title,author' no PR with the same title exists\n if [ -z $(tea pr ls -f='head' -o simple
-o simple | grep \"$COMMIT_MESSAGE dgnum-chores\") ]; then\n tea pr create | grep \"$GIT_UPDATE_BRANCH\") ]; then\n tea pr create --description \"\
--description \"Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\
\"$GIT_UPDATE_BRANCH\"\n fi\nfi\n" \n fi\nfi\n"
signal-irc-bridge: signal-irc-bridge:
runs-on: nix runs-on: nix
steps: steps:
@ -814,10 +814,10 @@ jobs:
\n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\n # Connect to the \n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\n # Connect to the
server with the cli\n tea login add -n dgnum-chores -t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN server with the cli\n tea login add -n dgnum-chores -t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN
}}\" -u https://git.dgnum.eu\n\n # Create a pull request if needed\n # i.e. }}\" -u https://git.dgnum.eu\n\n # Create a pull request if needed\n # i.e.
no PR with the same title exists\n if [ -z $(tea pr ls -f='title,author' no PR with the same title exists\n if [ -z $(tea pr ls -f='head' -o simple
-o simple | grep \"$COMMIT_MESSAGE dgnum-chores\") ]; then\n tea pr create | grep \"$GIT_UPDATE_BRANCH\") ]; then\n tea pr create --description \"\
--description \"Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\
\"$GIT_UPDATE_BRANCH\"\n fi\nfi\n" \n fi\nfi\n"
stateless-uptime-kuma: stateless-uptime-kuma:
runs-on: nix runs-on: nix
steps: steps:
@ -843,10 +843,10 @@ jobs:
\n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\n # Connect to the \n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\n # Connect to the
server with the cli\n tea login add -n dgnum-chores -t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN server with the cli\n tea login add -n dgnum-chores -t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN
}}\" -u https://git.dgnum.eu\n\n # Create a pull request if needed\n # i.e. }}\" -u https://git.dgnum.eu\n\n # Create a pull request if needed\n # i.e.
no PR with the same title exists\n if [ -z $(tea pr ls -f='title,author' no PR with the same title exists\n if [ -z $(tea pr ls -f='head' -o simple
-o simple | grep \"$COMMIT_MESSAGE dgnum-chores\") ]; then\n tea pr create | grep \"$GIT_UPDATE_BRANCH\") ]; then\n tea pr create --description \"\
--description \"Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\
\"$GIT_UPDATE_BRANCH\"\n fi\nfi\n" \n fi\nfi\n"
wp4nix: wp4nix:
runs-on: nix runs-on: nix
steps: steps:
@ -872,10 +872,10 @@ jobs:
\n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\n # Connect to the \n git push -u origin \"$GIT_UPDATE_BRANCH\"\n fi\n\n # Connect to the
server with the cli\n tea login add -n dgnum-chores -t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN server with the cli\n tea login add -n dgnum-chores -t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN
}}\" -u https://git.dgnum.eu\n\n # Create a pull request if needed\n # i.e. }}\" -u https://git.dgnum.eu\n\n # Create a pull request if needed\n # i.e.
no PR with the same title exists\n if [ -z $(tea pr ls -f='title,author' no PR with the same title exists\n if [ -z $(tea pr ls -f='head' -o simple
-o simple | grep \"$COMMIT_MESSAGE dgnum-chores\") ]; then\n tea pr create | grep \"$GIT_UPDATE_BRANCH\") ]; then\n tea pr create --description \"\
--description \"Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\
\"$GIT_UPDATE_BRANCH\"\n fi\nfi\n" \n fi\nfi\n"
name: Update dependencies name: Update dependencies
on: on:
schedule: schedule:

2
workflows/npins-update.nix
View file

@ -81,7 +81,7 @@ in
# Create a pull request if needed # Create a pull request if needed
# i.e. no PR with the same title exists # i.e. no PR with the same title exists
if [ -z $(tea pr ls -f='title,author' -o simple | grep "$COMMIT_MESSAGE dgnum-chores") ]; then if [ -z $(tea pr ls -f='head' -o simple | grep "$GIT_UPDATE_BRANCH") ]; then
tea pr create --description "Automatic npins update" --title "$COMMIT_MESSAGE" --head "$GIT_UPDATE_BRANCH" tea pr create --description "Automatic npins update" --title "$COMMIT_MESSAGE" --head "$GIT_UPDATE_BRANCH"
fi fi
fi fi