Tom Hubrecht
e574d2ab72
All checks were successful
Check workflows / check_workflows (push) Successful in 29s
Build all the nodes / ap01 (push) Successful in 1m15s
Build all the nodes / bridge01 (push) Successful in 1m59s
Build all the nodes / geo01 (push) Successful in 2m0s
Build all the nodes / geo02 (push) Successful in 1m43s
Build all the nodes / hypervisor01 (push) Successful in 1m36s
Build all the nodes / netcore02 (push) Successful in 34s
Build all the nodes / compute01 (push) Successful in 2m54s
Build all the nodes / hypervisor02 (push) Successful in 1m46s
Build all the nodes / hypervisor03 (push) Successful in 1m46s
Build all the nodes / tower01 (push) Successful in 1m47s
Build all the nodes / storage01 (push) Successful in 2m15s
Build all the nodes / rescue01 (push) Successful in 2m18s
Build the shell / build-shell (push) Successful in 33s
Run pre-commit on all files / pre-commit (push) Successful in 36s
Build all the nodes / vault01 (push) Successful in 2m9s
Build all the nodes / web02 (push) Successful in 1m53s
Build all the nodes / web01 (push) Successful in 2m37s
Build all the nodes / web03 (push) Successful in 1m44s
938 lines
50 KiB
YAML
938 lines
50 KiB
YAML
env:
|
|
GIT_AUTHOR_EMAIL: chores@mail.hubrecht.ovh
|
|
GIT_AUTHOR_NAME: HT Chores
|
|
GIT_COMMITTER_EMAIL: chores@mail.hubrecht.ovh
|
|
GIT_COMMITTER_NAME: HT Chores
|
|
jobs:
|
|
agenix:
|
|
runs-on: nix
|
|
steps:
|
|
- uses: actions/checkout@v3
|
|
with:
|
|
fetch-depth: 0
|
|
token: ${{ secrets.TEA_DGNUM_CHORES_TOKEN }}
|
|
- env:
|
|
GIT_UPDATE_BRANCH: npins-updates/agenix
|
|
name: Switch to a new branch
|
|
run: "if git ls-remote --exit-code --heads origin \"refs/heads/$GIT_UPDATE_BRANCH\"\
|
|
; then\n git switch \"$GIT_UPDATE_BRANCH\"\n git rebase main\n echo \"\
|
|
EXISTING_BRANCH=1\" >> $GITHUB_ENV\nelse\n git switch -C \"$GIT_UPDATE_BRANCH\"\
|
|
\nfi\n"
|
|
- env:
|
|
COMMIT_MESSAGE: 'chore(npins): Update agenix'
|
|
GIT_UPDATE_BRANCH: npins-updates/agenix
|
|
name: Open a PR if updates are present
|
|
run: "npins update agenix\n\nif [ ! -z \"$(git diff --name-only)\" ]; then\n\
|
|
\ echo \"[+] Changes detected, pushing updates.\"\n\n git add npins\n\n\
|
|
\ if [ -n \"$EXISTING_BRANCH\" ]; then\n git commit --amend --no-edit\n\
|
|
\ git push --force\n else\n git commit --message \"$COMMIT_MESSAGE\"\
|
|
\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
|
|
}}\" -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'
|
|
-o simple | grep \"$COMMIT_MESSAGE dgnum-chores\") ]; then\n tea pr create
|
|
--description \"Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head
|
|
\"$GIT_UPDATE_BRANCH\"\n fi\nfi\n"
|
|
arkheon:
|
|
runs-on: nix
|
|
steps:
|
|
- uses: actions/checkout@v3
|
|
with:
|
|
fetch-depth: 0
|
|
token: ${{ secrets.TEA_DGNUM_CHORES_TOKEN }}
|
|
- env:
|
|
GIT_UPDATE_BRANCH: npins-updates/arkheon
|
|
name: Switch to a new branch
|
|
run: "if git ls-remote --exit-code --heads origin \"refs/heads/$GIT_UPDATE_BRANCH\"\
|
|
; then\n git switch \"$GIT_UPDATE_BRANCH\"\n git rebase main\n echo \"\
|
|
EXISTING_BRANCH=1\" >> $GITHUB_ENV\nelse\n git switch -C \"$GIT_UPDATE_BRANCH\"\
|
|
\nfi\n"
|
|
- env:
|
|
COMMIT_MESSAGE: 'chore(npins): Update arkheon'
|
|
GIT_UPDATE_BRANCH: npins-updates/arkheon
|
|
name: Open a PR if updates are present
|
|
run: "npins update arkheon\n\nif [ ! -z \"$(git diff --name-only)\" ]; then\n\
|
|
\ echo \"[+] Changes detected, pushing updates.\"\n\n git add npins\n\n\
|
|
\ if [ -n \"$EXISTING_BRANCH\" ]; then\n git commit --amend --no-edit\n\
|
|
\ git push --force\n else\n git commit --message \"$COMMIT_MESSAGE\"\
|
|
\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
|
|
}}\" -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'
|
|
-o simple | grep \"$COMMIT_MESSAGE dgnum-chores\") ]; then\n tea pr create
|
|
--description \"Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head
|
|
\"$GIT_UPDATE_BRANCH\"\n fi\nfi\n"
|
|
cas-eleves:
|
|
runs-on: nix
|
|
steps:
|
|
- uses: actions/checkout@v3
|
|
with:
|
|
fetch-depth: 0
|
|
token: ${{ secrets.TEA_DGNUM_CHORES_TOKEN }}
|
|
- env:
|
|
GIT_UPDATE_BRANCH: npins-updates/cas-eleves
|
|
name: Switch to a new branch
|
|
run: "if git ls-remote --exit-code --heads origin \"refs/heads/$GIT_UPDATE_BRANCH\"\
|
|
; then\n git switch \"$GIT_UPDATE_BRANCH\"\n git rebase main\n echo \"\
|
|
EXISTING_BRANCH=1\" >> $GITHUB_ENV\nelse\n git switch -C \"$GIT_UPDATE_BRANCH\"\
|
|
\nfi\n"
|
|
- env:
|
|
COMMIT_MESSAGE: 'chore(npins): Update cas-eleves'
|
|
GIT_UPDATE_BRANCH: npins-updates/cas-eleves
|
|
name: Open a PR if updates are present
|
|
run: "npins update cas-eleves\n\nif [ ! -z \"$(git diff --name-only)\" ]; then\n\
|
|
\ echo \"[+] Changes detected, pushing updates.\"\n\n git add npins\n\n\
|
|
\ if [ -n \"$EXISTING_BRANCH\" ]; then\n git commit --amend --no-edit\n\
|
|
\ git push --force\n else\n git commit --message \"$COMMIT_MESSAGE\"\
|
|
\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
|
|
}}\" -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'
|
|
-o simple | grep \"$COMMIT_MESSAGE dgnum-chores\") ]; then\n tea pr create
|
|
--description \"Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head
|
|
\"$GIT_UPDATE_BRANCH\"\n fi\nfi\n"
|
|
cgroup-exporter:
|
|
runs-on: nix
|
|
steps:
|
|
- uses: actions/checkout@v3
|
|
with:
|
|
fetch-depth: 0
|
|
token: ${{ secrets.TEA_DGNUM_CHORES_TOKEN }}
|
|
- env:
|
|
GIT_UPDATE_BRANCH: npins-updates/cgroup-exporter
|
|
name: Switch to a new branch
|
|
run: "if git ls-remote --exit-code --heads origin \"refs/heads/$GIT_UPDATE_BRANCH\"\
|
|
; then\n git switch \"$GIT_UPDATE_BRANCH\"\n git rebase main\n echo \"\
|
|
EXISTING_BRANCH=1\" >> $GITHUB_ENV\nelse\n git switch -C \"$GIT_UPDATE_BRANCH\"\
|
|
\nfi\n"
|
|
- env:
|
|
COMMIT_MESSAGE: 'chore(npins): Update cgroup-exporter'
|
|
GIT_UPDATE_BRANCH: npins-updates/cgroup-exporter
|
|
name: Open a PR if updates are present
|
|
run: "npins update cgroup-exporter\n\nif [ ! -z \"$(git diff --name-only)\"
|
|
]; then\n echo \"[+] Changes detected, pushing updates.\"\n\n git add npins\n\
|
|
\n if [ -n \"$EXISTING_BRANCH\" ]; then\n git commit --amend --no-edit\n\
|
|
\ git push --force\n else\n git commit --message \"$COMMIT_MESSAGE\"\
|
|
\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
|
|
}}\" -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'
|
|
-o simple | grep \"$COMMIT_MESSAGE dgnum-chores\") ]; then\n tea pr create
|
|
--description \"Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head
|
|
\"$GIT_UPDATE_BRANCH\"\n fi\nfi\n"
|
|
colmena:
|
|
runs-on: nix
|
|
steps:
|
|
- uses: actions/checkout@v3
|
|
with:
|
|
fetch-depth: 0
|
|
token: ${{ secrets.TEA_DGNUM_CHORES_TOKEN }}
|
|
- env:
|
|
GIT_UPDATE_BRANCH: npins-updates/colmena
|
|
name: Switch to a new branch
|
|
run: "if git ls-remote --exit-code --heads origin \"refs/heads/$GIT_UPDATE_BRANCH\"\
|
|
; then\n git switch \"$GIT_UPDATE_BRANCH\"\n git rebase main\n echo \"\
|
|
EXISTING_BRANCH=1\" >> $GITHUB_ENV\nelse\n git switch -C \"$GIT_UPDATE_BRANCH\"\
|
|
\nfi\n"
|
|
- env:
|
|
COMMIT_MESSAGE: 'chore(npins): Update colmena'
|
|
GIT_UPDATE_BRANCH: npins-updates/colmena
|
|
name: Open a PR if updates are present
|
|
run: "npins update colmena\n\nif [ ! -z \"$(git diff --name-only)\" ]; then\n\
|
|
\ echo \"[+] Changes detected, pushing updates.\"\n\n git add npins\n\n\
|
|
\ if [ -n \"$EXISTING_BRANCH\" ]; then\n git commit --amend --no-edit\n\
|
|
\ git push --force\n else\n git commit --message \"$COMMIT_MESSAGE\"\
|
|
\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
|
|
}}\" -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'
|
|
-o simple | grep \"$COMMIT_MESSAGE dgnum-chores\") ]; then\n tea pr create
|
|
--description \"Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head
|
|
\"$GIT_UPDATE_BRANCH\"\n fi\nfi\n"
|
|
dgsi:
|
|
runs-on: nix
|
|
steps:
|
|
- uses: actions/checkout@v3
|
|
with:
|
|
fetch-depth: 0
|
|
token: ${{ secrets.TEA_DGNUM_CHORES_TOKEN }}
|
|
- env:
|
|
GIT_UPDATE_BRANCH: npins-updates/dgsi
|
|
name: Switch to a new branch
|
|
run: "if git ls-remote --exit-code --heads origin \"refs/heads/$GIT_UPDATE_BRANCH\"\
|
|
; then\n git switch \"$GIT_UPDATE_BRANCH\"\n git rebase main\n echo \"\
|
|
EXISTING_BRANCH=1\" >> $GITHUB_ENV\nelse\n git switch -C \"$GIT_UPDATE_BRANCH\"\
|
|
\nfi\n"
|
|
- env:
|
|
COMMIT_MESSAGE: 'chore(npins): Update dgsi'
|
|
GIT_UPDATE_BRANCH: npins-updates/dgsi
|
|
name: Open a PR if updates are present
|
|
run: "npins update dgsi\n\nif [ ! -z \"$(git diff --name-only)\" ]; then\n \
|
|
\ echo \"[+] Changes detected, pushing updates.\"\n\n git add npins\n\n \
|
|
\ if [ -n \"$EXISTING_BRANCH\" ]; then\n git commit --amend --no-edit\n\
|
|
\ git push --force\n else\n git commit --message \"$COMMIT_MESSAGE\"\
|
|
\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
|
|
}}\" -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'
|
|
-o simple | grep \"$COMMIT_MESSAGE dgnum-chores\") ]; then\n tea pr create
|
|
--description \"Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head
|
|
\"$GIT_UPDATE_BRANCH\"\n fi\nfi\n"
|
|
disko:
|
|
runs-on: nix
|
|
steps:
|
|
- uses: actions/checkout@v3
|
|
with:
|
|
fetch-depth: 0
|
|
token: ${{ secrets.TEA_DGNUM_CHORES_TOKEN }}
|
|
- env:
|
|
GIT_UPDATE_BRANCH: npins-updates/disko
|
|
name: Switch to a new branch
|
|
run: "if git ls-remote --exit-code --heads origin \"refs/heads/$GIT_UPDATE_BRANCH\"\
|
|
; then\n git switch \"$GIT_UPDATE_BRANCH\"\n git rebase main\n echo \"\
|
|
EXISTING_BRANCH=1\" >> $GITHUB_ENV\nelse\n git switch -C \"$GIT_UPDATE_BRANCH\"\
|
|
\nfi\n"
|
|
- env:
|
|
COMMIT_MESSAGE: 'chore(npins): Update disko'
|
|
GIT_UPDATE_BRANCH: npins-updates/disko
|
|
name: Open a PR if updates are present
|
|
run: "npins update disko\n\nif [ ! -z \"$(git diff --name-only)\" ]; then\n\
|
|
\ echo \"[+] Changes detected, pushing updates.\"\n\n git add npins\n\n\
|
|
\ if [ -n \"$EXISTING_BRANCH\" ]; then\n git commit --amend --no-edit\n\
|
|
\ git push --force\n else\n git commit --message \"$COMMIT_MESSAGE\"\
|
|
\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
|
|
}}\" -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'
|
|
-o simple | grep \"$COMMIT_MESSAGE dgnum-chores\") ]; then\n tea pr create
|
|
--description \"Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head
|
|
\"$GIT_UPDATE_BRANCH\"\n fi\nfi\n"
|
|
dns_nix:
|
|
runs-on: nix
|
|
steps:
|
|
- uses: actions/checkout@v3
|
|
with:
|
|
fetch-depth: 0
|
|
token: ${{ secrets.TEA_DGNUM_CHORES_TOKEN }}
|
|
- env:
|
|
GIT_UPDATE_BRANCH: npins-updates/dns.nix
|
|
name: Switch to a new branch
|
|
run: "if git ls-remote --exit-code --heads origin \"refs/heads/$GIT_UPDATE_BRANCH\"\
|
|
; then\n git switch \"$GIT_UPDATE_BRANCH\"\n git rebase main\n echo \"\
|
|
EXISTING_BRANCH=1\" >> $GITHUB_ENV\nelse\n git switch -C \"$GIT_UPDATE_BRANCH\"\
|
|
\nfi\n"
|
|
- env:
|
|
COMMIT_MESSAGE: 'chore(npins): Update dns.nix'
|
|
GIT_UPDATE_BRANCH: npins-updates/dns.nix
|
|
name: Open a PR if updates are present
|
|
run: "npins update dns.nix\n\nif [ ! -z \"$(git diff --name-only)\" ]; then\n\
|
|
\ echo \"[+] Changes detected, pushing updates.\"\n\n git add npins\n\n\
|
|
\ if [ -n \"$EXISTING_BRANCH\" ]; then\n git commit --amend --no-edit\n\
|
|
\ git push --force\n else\n git commit --message \"$COMMIT_MESSAGE\"\
|
|
\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
|
|
}}\" -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'
|
|
-o simple | grep \"$COMMIT_MESSAGE dgnum-chores\") ]; then\n tea pr create
|
|
--description \"Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head
|
|
\"$GIT_UPDATE_BRANCH\"\n fi\nfi\n"
|
|
git-hooks:
|
|
runs-on: nix
|
|
steps:
|
|
- uses: actions/checkout@v3
|
|
with:
|
|
fetch-depth: 0
|
|
token: ${{ secrets.TEA_DGNUM_CHORES_TOKEN }}
|
|
- env:
|
|
GIT_UPDATE_BRANCH: npins-updates/git-hooks
|
|
name: Switch to a new branch
|
|
run: "if git ls-remote --exit-code --heads origin \"refs/heads/$GIT_UPDATE_BRANCH\"\
|
|
; then\n git switch \"$GIT_UPDATE_BRANCH\"\n git rebase main\n echo \"\
|
|
EXISTING_BRANCH=1\" >> $GITHUB_ENV\nelse\n git switch -C \"$GIT_UPDATE_BRANCH\"\
|
|
\nfi\n"
|
|
- env:
|
|
COMMIT_MESSAGE: 'chore(npins): Update git-hooks'
|
|
GIT_UPDATE_BRANCH: npins-updates/git-hooks
|
|
name: Open a PR if updates are present
|
|
run: "npins update git-hooks\n\nif [ ! -z \"$(git diff --name-only)\" ]; then\n\
|
|
\ echo \"[+] Changes detected, pushing updates.\"\n\n git add npins\n\n\
|
|
\ if [ -n \"$EXISTING_BRANCH\" ]; then\n git commit --amend --no-edit\n\
|
|
\ git push --force\n else\n git commit --message \"$COMMIT_MESSAGE\"\
|
|
\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
|
|
}}\" -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'
|
|
-o simple | grep \"$COMMIT_MESSAGE dgnum-chores\") ]; then\n tea pr create
|
|
--description \"Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head
|
|
\"$GIT_UPDATE_BRANCH\"\n fi\nfi\n"
|
|
kadenios:
|
|
runs-on: nix
|
|
steps:
|
|
- uses: actions/checkout@v3
|
|
with:
|
|
fetch-depth: 0
|
|
token: ${{ secrets.TEA_DGNUM_CHORES_TOKEN }}
|
|
- env:
|
|
GIT_UPDATE_BRANCH: npins-updates/kadenios
|
|
name: Switch to a new branch
|
|
run: "if git ls-remote --exit-code --heads origin \"refs/heads/$GIT_UPDATE_BRANCH\"\
|
|
; then\n git switch \"$GIT_UPDATE_BRANCH\"\n git rebase main\n echo \"\
|
|
EXISTING_BRANCH=1\" >> $GITHUB_ENV\nelse\n git switch -C \"$GIT_UPDATE_BRANCH\"\
|
|
\nfi\n"
|
|
- env:
|
|
COMMIT_MESSAGE: 'chore(npins): Update kadenios'
|
|
GIT_UPDATE_BRANCH: npins-updates/kadenios
|
|
name: Open a PR if updates are present
|
|
run: "npins update kadenios\n\nif [ ! -z \"$(git diff --name-only)\" ]; then\n\
|
|
\ echo \"[+] Changes detected, pushing updates.\"\n\n git add npins\n\n\
|
|
\ if [ -n \"$EXISTING_BRANCH\" ]; then\n git commit --amend --no-edit\n\
|
|
\ git push --force\n else\n git commit --message \"$COMMIT_MESSAGE\"\
|
|
\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
|
|
}}\" -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'
|
|
-o simple | grep \"$COMMIT_MESSAGE dgnum-chores\") ]; then\n tea pr create
|
|
--description \"Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head
|
|
\"$GIT_UPDATE_BRANCH\"\n fi\nfi\n"
|
|
kahulm:
|
|
runs-on: nix
|
|
steps:
|
|
- uses: actions/checkout@v3
|
|
with:
|
|
fetch-depth: 0
|
|
token: ${{ secrets.TEA_DGNUM_CHORES_TOKEN }}
|
|
- env:
|
|
GIT_UPDATE_BRANCH: npins-updates/kahulm
|
|
name: Switch to a new branch
|
|
run: "if git ls-remote --exit-code --heads origin \"refs/heads/$GIT_UPDATE_BRANCH\"\
|
|
; then\n git switch \"$GIT_UPDATE_BRANCH\"\n git rebase main\n echo \"\
|
|
EXISTING_BRANCH=1\" >> $GITHUB_ENV\nelse\n git switch -C \"$GIT_UPDATE_BRANCH\"\
|
|
\nfi\n"
|
|
- env:
|
|
COMMIT_MESSAGE: 'chore(npins): Update kahulm'
|
|
GIT_UPDATE_BRANCH: npins-updates/kahulm
|
|
name: Open a PR if updates are present
|
|
run: "npins update kahulm\n\nif [ ! -z \"$(git diff --name-only)\" ]; then\n\
|
|
\ echo \"[+] Changes detected, pushing updates.\"\n\n git add npins\n\n\
|
|
\ if [ -n \"$EXISTING_BRANCH\" ]; then\n git commit --amend --no-edit\n\
|
|
\ git push --force\n else\n git commit --message \"$COMMIT_MESSAGE\"\
|
|
\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
|
|
}}\" -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'
|
|
-o simple | grep \"$COMMIT_MESSAGE dgnum-chores\") ]; then\n tea pr create
|
|
--description \"Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head
|
|
\"$GIT_UPDATE_BRANCH\"\n fi\nfi\n"
|
|
liminix:
|
|
runs-on: nix
|
|
steps:
|
|
- uses: actions/checkout@v3
|
|
with:
|
|
fetch-depth: 0
|
|
token: ${{ secrets.TEA_DGNUM_CHORES_TOKEN }}
|
|
- env:
|
|
GIT_UPDATE_BRANCH: npins-updates/liminix
|
|
name: Switch to a new branch
|
|
run: "if git ls-remote --exit-code --heads origin \"refs/heads/$GIT_UPDATE_BRANCH\"\
|
|
; then\n git switch \"$GIT_UPDATE_BRANCH\"\n git rebase main\n echo \"\
|
|
EXISTING_BRANCH=1\" >> $GITHUB_ENV\nelse\n git switch -C \"$GIT_UPDATE_BRANCH\"\
|
|
\nfi\n"
|
|
- env:
|
|
COMMIT_MESSAGE: 'chore(npins): Update liminix'
|
|
GIT_UPDATE_BRANCH: npins-updates/liminix
|
|
name: Open a PR if updates are present
|
|
run: "npins update liminix\n\nif [ ! -z \"$(git diff --name-only)\" ]; then\n\
|
|
\ echo \"[+] Changes detected, pushing updates.\"\n\n git add npins\n\n\
|
|
\ if [ -n \"$EXISTING_BRANCH\" ]; then\n git commit --amend --no-edit\n\
|
|
\ git push --force\n else\n git commit --message \"$COMMIT_MESSAGE\"\
|
|
\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
|
|
}}\" -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'
|
|
-o simple | grep \"$COMMIT_MESSAGE dgnum-chores\") ]; then\n tea pr create
|
|
--description \"Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head
|
|
\"$GIT_UPDATE_BRANCH\"\n fi\nfi\n"
|
|
linkal:
|
|
runs-on: nix
|
|
steps:
|
|
- uses: actions/checkout@v3
|
|
with:
|
|
fetch-depth: 0
|
|
token: ${{ secrets.TEA_DGNUM_CHORES_TOKEN }}
|
|
- env:
|
|
GIT_UPDATE_BRANCH: npins-updates/linkal
|
|
name: Switch to a new branch
|
|
run: "if git ls-remote --exit-code --heads origin \"refs/heads/$GIT_UPDATE_BRANCH\"\
|
|
; then\n git switch \"$GIT_UPDATE_BRANCH\"\n git rebase main\n echo \"\
|
|
EXISTING_BRANCH=1\" >> $GITHUB_ENV\nelse\n git switch -C \"$GIT_UPDATE_BRANCH\"\
|
|
\nfi\n"
|
|
- env:
|
|
COMMIT_MESSAGE: 'chore(npins): Update linkal'
|
|
GIT_UPDATE_BRANCH: npins-updates/linkal
|
|
name: Open a PR if updates are present
|
|
run: "npins update linkal\n\nif [ ! -z \"$(git diff --name-only)\" ]; then\n\
|
|
\ echo \"[+] Changes detected, pushing updates.\"\n\n git add npins\n\n\
|
|
\ if [ -n \"$EXISTING_BRANCH\" ]; then\n git commit --amend --no-edit\n\
|
|
\ git push --force\n else\n git commit --message \"$COMMIT_MESSAGE\"\
|
|
\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
|
|
}}\" -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'
|
|
-o simple | grep \"$COMMIT_MESSAGE dgnum-chores\") ]; then\n tea pr create
|
|
--description \"Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head
|
|
\"$GIT_UPDATE_BRANCH\"\n fi\nfi\n"
|
|
lix:
|
|
runs-on: nix
|
|
steps:
|
|
- uses: actions/checkout@v3
|
|
with:
|
|
fetch-depth: 0
|
|
token: ${{ secrets.TEA_DGNUM_CHORES_TOKEN }}
|
|
- env:
|
|
GIT_UPDATE_BRANCH: npins-updates/lix
|
|
name: Switch to a new branch
|
|
run: "if git ls-remote --exit-code --heads origin \"refs/heads/$GIT_UPDATE_BRANCH\"\
|
|
; then\n git switch \"$GIT_UPDATE_BRANCH\"\n git rebase main\n echo \"\
|
|
EXISTING_BRANCH=1\" >> $GITHUB_ENV\nelse\n git switch -C \"$GIT_UPDATE_BRANCH\"\
|
|
\nfi\n"
|
|
- env:
|
|
COMMIT_MESSAGE: 'chore(npins): Update lix'
|
|
GIT_UPDATE_BRANCH: npins-updates/lix
|
|
name: Open a PR if updates are present
|
|
run: "npins update lix\n\nif [ ! -z \"$(git diff --name-only)\" ]; then\n echo
|
|
\"[+] Changes detected, pushing updates.\"\n\n git add npins\n\n if [ -n
|
|
\"$EXISTING_BRANCH\" ]; then\n git commit --amend --no-edit\n git push
|
|
--force\n else\n git commit --message \"$COMMIT_MESSAGE\"\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
|
|
}}\" -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'
|
|
-o simple | grep \"$COMMIT_MESSAGE dgnum-chores\") ]; then\n tea pr create
|
|
--description \"Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head
|
|
\"$GIT_UPDATE_BRANCH\"\n fi\nfi\n"
|
|
lix-module:
|
|
runs-on: nix
|
|
steps:
|
|
- uses: actions/checkout@v3
|
|
with:
|
|
fetch-depth: 0
|
|
token: ${{ secrets.TEA_DGNUM_CHORES_TOKEN }}
|
|
- env:
|
|
GIT_UPDATE_BRANCH: npins-updates/lix-module
|
|
name: Switch to a new branch
|
|
run: "if git ls-remote --exit-code --heads origin \"refs/heads/$GIT_UPDATE_BRANCH\"\
|
|
; then\n git switch \"$GIT_UPDATE_BRANCH\"\n git rebase main\n echo \"\
|
|
EXISTING_BRANCH=1\" >> $GITHUB_ENV\nelse\n git switch -C \"$GIT_UPDATE_BRANCH\"\
|
|
\nfi\n"
|
|
- env:
|
|
COMMIT_MESSAGE: 'chore(npins): Update lix-module'
|
|
GIT_UPDATE_BRANCH: npins-updates/lix-module
|
|
name: Open a PR if updates are present
|
|
run: "npins update lix-module\n\nif [ ! -z \"$(git diff --name-only)\" ]; then\n\
|
|
\ echo \"[+] Changes detected, pushing updates.\"\n\n git add npins\n\n\
|
|
\ if [ -n \"$EXISTING_BRANCH\" ]; then\n git commit --amend --no-edit\n\
|
|
\ git push --force\n else\n git commit --message \"$COMMIT_MESSAGE\"\
|
|
\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
|
|
}}\" -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'
|
|
-o simple | grep \"$COMMIT_MESSAGE dgnum-chores\") ]; then\n tea pr create
|
|
--description \"Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head
|
|
\"$GIT_UPDATE_BRANCH\"\n fi\nfi\n"
|
|
lon:
|
|
runs-on: nix
|
|
steps:
|
|
- uses: actions/checkout@v3
|
|
with:
|
|
fetch-depth: 0
|
|
token: ${{ secrets.TEA_DGNUM_CHORES_TOKEN }}
|
|
- env:
|
|
GIT_UPDATE_BRANCH: npins-updates/lon
|
|
name: Switch to a new branch
|
|
run: "if git ls-remote --exit-code --heads origin \"refs/heads/$GIT_UPDATE_BRANCH\"\
|
|
; then\n git switch \"$GIT_UPDATE_BRANCH\"\n git rebase main\n echo \"\
|
|
EXISTING_BRANCH=1\" >> $GITHUB_ENV\nelse\n git switch -C \"$GIT_UPDATE_BRANCH\"\
|
|
\nfi\n"
|
|
- env:
|
|
COMMIT_MESSAGE: 'chore(npins): Update lon'
|
|
GIT_UPDATE_BRANCH: npins-updates/lon
|
|
name: Open a PR if updates are present
|
|
run: "npins update lon\n\nif [ ! -z \"$(git diff --name-only)\" ]; then\n echo
|
|
\"[+] Changes detected, pushing updates.\"\n\n git add npins\n\n if [ -n
|
|
\"$EXISTING_BRANCH\" ]; then\n git commit --amend --no-edit\n git push
|
|
--force\n else\n git commit --message \"$COMMIT_MESSAGE\"\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
|
|
}}\" -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'
|
|
-o simple | grep \"$COMMIT_MESSAGE dgnum-chores\") ]; then\n tea pr create
|
|
--description \"Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head
|
|
\"$GIT_UPDATE_BRANCH\"\n fi\nfi\n"
|
|
metis:
|
|
runs-on: nix
|
|
steps:
|
|
- uses: actions/checkout@v3
|
|
with:
|
|
fetch-depth: 0
|
|
token: ${{ secrets.TEA_DGNUM_CHORES_TOKEN }}
|
|
- env:
|
|
GIT_UPDATE_BRANCH: npins-updates/metis
|
|
name: Switch to a new branch
|
|
run: "if git ls-remote --exit-code --heads origin \"refs/heads/$GIT_UPDATE_BRANCH\"\
|
|
; then\n git switch \"$GIT_UPDATE_BRANCH\"\n git rebase main\n echo \"\
|
|
EXISTING_BRANCH=1\" >> $GITHUB_ENV\nelse\n git switch -C \"$GIT_UPDATE_BRANCH\"\
|
|
\nfi\n"
|
|
- env:
|
|
COMMIT_MESSAGE: 'chore(npins): Update metis'
|
|
GIT_UPDATE_BRANCH: npins-updates/metis
|
|
name: Open a PR if updates are present
|
|
run: "npins update metis\n\nif [ ! -z \"$(git diff --name-only)\" ]; then\n\
|
|
\ echo \"[+] Changes detected, pushing updates.\"\n\n git add npins\n\n\
|
|
\ if [ -n \"$EXISTING_BRANCH\" ]; then\n git commit --amend --no-edit\n\
|
|
\ git push --force\n else\n git commit --message \"$COMMIT_MESSAGE\"\
|
|
\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
|
|
}}\" -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'
|
|
-o simple | grep \"$COMMIT_MESSAGE dgnum-chores\") ]; then\n tea pr create
|
|
--description \"Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head
|
|
\"$GIT_UPDATE_BRANCH\"\n fi\nfi\n"
|
|
microvm_nix:
|
|
runs-on: nix
|
|
steps:
|
|
- uses: actions/checkout@v3
|
|
with:
|
|
fetch-depth: 0
|
|
token: ${{ secrets.TEA_DGNUM_CHORES_TOKEN }}
|
|
- env:
|
|
GIT_UPDATE_BRANCH: npins-updates/microvm.nix
|
|
name: Switch to a new branch
|
|
run: "if git ls-remote --exit-code --heads origin \"refs/heads/$GIT_UPDATE_BRANCH\"\
|
|
; then\n git switch \"$GIT_UPDATE_BRANCH\"\n git rebase main\n echo \"\
|
|
EXISTING_BRANCH=1\" >> $GITHUB_ENV\nelse\n git switch -C \"$GIT_UPDATE_BRANCH\"\
|
|
\nfi\n"
|
|
- env:
|
|
COMMIT_MESSAGE: 'chore(npins): Update microvm.nix'
|
|
GIT_UPDATE_BRANCH: npins-updates/microvm.nix
|
|
name: Open a PR if updates are present
|
|
run: "npins update microvm.nix\n\nif [ ! -z \"$(git diff --name-only)\" ]; then\n\
|
|
\ echo \"[+] Changes detected, pushing updates.\"\n\n git add npins\n\n\
|
|
\ if [ -n \"$EXISTING_BRANCH\" ]; then\n git commit --amend --no-edit\n\
|
|
\ git push --force\n else\n git commit --message \"$COMMIT_MESSAGE\"\
|
|
\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
|
|
}}\" -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'
|
|
-o simple | grep \"$COMMIT_MESSAGE dgnum-chores\") ]; then\n tea pr create
|
|
--description \"Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head
|
|
\"$GIT_UPDATE_BRANCH\"\n fi\nfi\n"
|
|
nix-actions:
|
|
runs-on: nix
|
|
steps:
|
|
- uses: actions/checkout@v3
|
|
with:
|
|
fetch-depth: 0
|
|
token: ${{ secrets.TEA_DGNUM_CHORES_TOKEN }}
|
|
- env:
|
|
GIT_UPDATE_BRANCH: npins-updates/nix-actions
|
|
name: Switch to a new branch
|
|
run: "if git ls-remote --exit-code --heads origin \"refs/heads/$GIT_UPDATE_BRANCH\"\
|
|
; then\n git switch \"$GIT_UPDATE_BRANCH\"\n git rebase main\n echo \"\
|
|
EXISTING_BRANCH=1\" >> $GITHUB_ENV\nelse\n git switch -C \"$GIT_UPDATE_BRANCH\"\
|
|
\nfi\n"
|
|
- env:
|
|
COMMIT_MESSAGE: 'chore(npins): Update nix-actions'
|
|
GIT_UPDATE_BRANCH: npins-updates/nix-actions
|
|
name: Open a PR if updates are present
|
|
run: "npins update nix-actions\n\nif [ ! -z \"$(git diff --name-only)\" ]; then\n\
|
|
\ echo \"[+] Changes detected, pushing updates.\"\n\n git add npins\n\n\
|
|
\ if [ -n \"$EXISTING_BRANCH\" ]; then\n git commit --amend --no-edit\n\
|
|
\ git push --force\n else\n git commit --message \"$COMMIT_MESSAGE\"\
|
|
\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
|
|
}}\" -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'
|
|
-o simple | grep \"$COMMIT_MESSAGE dgnum-chores\") ]; then\n tea pr create
|
|
--description \"Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head
|
|
\"$GIT_UPDATE_BRANCH\"\n fi\nfi\n"
|
|
nix-modules:
|
|
runs-on: nix
|
|
steps:
|
|
- uses: actions/checkout@v3
|
|
with:
|
|
fetch-depth: 0
|
|
token: ${{ secrets.TEA_DGNUM_CHORES_TOKEN }}
|
|
- env:
|
|
GIT_UPDATE_BRANCH: npins-updates/nix-modules
|
|
name: Switch to a new branch
|
|
run: "if git ls-remote --exit-code --heads origin \"refs/heads/$GIT_UPDATE_BRANCH\"\
|
|
; then\n git switch \"$GIT_UPDATE_BRANCH\"\n git rebase main\n echo \"\
|
|
EXISTING_BRANCH=1\" >> $GITHUB_ENV\nelse\n git switch -C \"$GIT_UPDATE_BRANCH\"\
|
|
\nfi\n"
|
|
- env:
|
|
COMMIT_MESSAGE: 'chore(npins): Update nix-modules'
|
|
GIT_UPDATE_BRANCH: npins-updates/nix-modules
|
|
name: Open a PR if updates are present
|
|
run: "npins update nix-modules\n\nif [ ! -z \"$(git diff --name-only)\" ]; then\n\
|
|
\ echo \"[+] Changes detected, pushing updates.\"\n\n git add npins\n\n\
|
|
\ if [ -n \"$EXISTING_BRANCH\" ]; then\n git commit --amend --no-edit\n\
|
|
\ git push --force\n else\n git commit --message \"$COMMIT_MESSAGE\"\
|
|
\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
|
|
}}\" -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'
|
|
-o simple | grep \"$COMMIT_MESSAGE dgnum-chores\") ]; then\n tea pr create
|
|
--description \"Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head
|
|
\"$GIT_UPDATE_BRANCH\"\n fi\nfi\n"
|
|
nix-patches:
|
|
runs-on: nix
|
|
steps:
|
|
- uses: actions/checkout@v3
|
|
with:
|
|
fetch-depth: 0
|
|
token: ${{ secrets.TEA_DGNUM_CHORES_TOKEN }}
|
|
- env:
|
|
GIT_UPDATE_BRANCH: npins-updates/nix-patches
|
|
name: Switch to a new branch
|
|
run: "if git ls-remote --exit-code --heads origin \"refs/heads/$GIT_UPDATE_BRANCH\"\
|
|
; then\n git switch \"$GIT_UPDATE_BRANCH\"\n git rebase main\n echo \"\
|
|
EXISTING_BRANCH=1\" >> $GITHUB_ENV\nelse\n git switch -C \"$GIT_UPDATE_BRANCH\"\
|
|
\nfi\n"
|
|
- env:
|
|
COMMIT_MESSAGE: 'chore(npins): Update nix-patches'
|
|
GIT_UPDATE_BRANCH: npins-updates/nix-patches
|
|
name: Open a PR if updates are present
|
|
run: "npins update nix-patches\n\nif [ ! -z \"$(git diff --name-only)\" ]; then\n\
|
|
\ echo \"[+] Changes detected, pushing updates.\"\n\n git add npins\n\n\
|
|
\ if [ -n \"$EXISTING_BRANCH\" ]; then\n git commit --amend --no-edit\n\
|
|
\ git push --force\n else\n git commit --message \"$COMMIT_MESSAGE\"\
|
|
\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
|
|
}}\" -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'
|
|
-o simple | grep \"$COMMIT_MESSAGE dgnum-chores\") ]; then\n tea pr create
|
|
--description \"Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head
|
|
\"$GIT_UPDATE_BRANCH\"\n fi\nfi\n"
|
|
nix-pkgs:
|
|
runs-on: nix
|
|
steps:
|
|
- uses: actions/checkout@v3
|
|
with:
|
|
fetch-depth: 0
|
|
token: ${{ secrets.TEA_DGNUM_CHORES_TOKEN }}
|
|
- env:
|
|
GIT_UPDATE_BRANCH: npins-updates/nix-pkgs
|
|
name: Switch to a new branch
|
|
run: "if git ls-remote --exit-code --heads origin \"refs/heads/$GIT_UPDATE_BRANCH\"\
|
|
; then\n git switch \"$GIT_UPDATE_BRANCH\"\n git rebase main\n echo \"\
|
|
EXISTING_BRANCH=1\" >> $GITHUB_ENV\nelse\n git switch -C \"$GIT_UPDATE_BRANCH\"\
|
|
\nfi\n"
|
|
- env:
|
|
COMMIT_MESSAGE: 'chore(npins): Update nix-pkgs'
|
|
GIT_UPDATE_BRANCH: npins-updates/nix-pkgs
|
|
name: Open a PR if updates are present
|
|
run: "npins update nix-pkgs\n\nif [ ! -z \"$(git diff --name-only)\" ]; then\n\
|
|
\ echo \"[+] Changes detected, pushing updates.\"\n\n git add npins\n\n\
|
|
\ if [ -n \"$EXISTING_BRANCH\" ]; then\n git commit --amend --no-edit\n\
|
|
\ git push --force\n else\n git commit --message \"$COMMIT_MESSAGE\"\
|
|
\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
|
|
}}\" -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'
|
|
-o simple | grep \"$COMMIT_MESSAGE dgnum-chores\") ]; then\n tea pr create
|
|
--description \"Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head
|
|
\"$GIT_UPDATE_BRANCH\"\n fi\nfi\n"
|
|
nix-reuse:
|
|
runs-on: nix
|
|
steps:
|
|
- uses: actions/checkout@v3
|
|
with:
|
|
fetch-depth: 0
|
|
token: ${{ secrets.TEA_DGNUM_CHORES_TOKEN }}
|
|
- env:
|
|
GIT_UPDATE_BRANCH: npins-updates/nix-reuse
|
|
name: Switch to a new branch
|
|
run: "if git ls-remote --exit-code --heads origin \"refs/heads/$GIT_UPDATE_BRANCH\"\
|
|
; then\n git switch \"$GIT_UPDATE_BRANCH\"\n git rebase main\n echo \"\
|
|
EXISTING_BRANCH=1\" >> $GITHUB_ENV\nelse\n git switch -C \"$GIT_UPDATE_BRANCH\"\
|
|
\nfi\n"
|
|
- env:
|
|
COMMIT_MESSAGE: 'chore(npins): Update nix-reuse'
|
|
GIT_UPDATE_BRANCH: npins-updates/nix-reuse
|
|
name: Open a PR if updates are present
|
|
run: "npins update nix-reuse\n\nif [ ! -z \"$(git diff --name-only)\" ]; then\n\
|
|
\ echo \"[+] Changes detected, pushing updates.\"\n\n git add npins\n\n\
|
|
\ if [ -n \"$EXISTING_BRANCH\" ]; then\n git commit --amend --no-edit\n\
|
|
\ git push --force\n else\n git commit --message \"$COMMIT_MESSAGE\"\
|
|
\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
|
|
}}\" -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'
|
|
-o simple | grep \"$COMMIT_MESSAGE dgnum-chores\") ]; then\n tea pr create
|
|
--description \"Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head
|
|
\"$GIT_UPDATE_BRANCH\"\n fi\nfi\n"
|
|
nixos-24_05:
|
|
runs-on: nix
|
|
steps:
|
|
- uses: actions/checkout@v3
|
|
with:
|
|
fetch-depth: 0
|
|
token: ${{ secrets.TEA_DGNUM_CHORES_TOKEN }}
|
|
- env:
|
|
GIT_UPDATE_BRANCH: npins-updates/nixos-24.05
|
|
name: Switch to a new branch
|
|
run: "if git ls-remote --exit-code --heads origin \"refs/heads/$GIT_UPDATE_BRANCH\"\
|
|
; then\n git switch \"$GIT_UPDATE_BRANCH\"\n git rebase main\n echo \"\
|
|
EXISTING_BRANCH=1\" >> $GITHUB_ENV\nelse\n git switch -C \"$GIT_UPDATE_BRANCH\"\
|
|
\nfi\n"
|
|
- env:
|
|
COMMIT_MESSAGE: 'chore(npins): Update nixos-24.05'
|
|
GIT_UPDATE_BRANCH: npins-updates/nixos-24.05
|
|
name: Open a PR if updates are present
|
|
run: "npins update nixos-24.05\n\nif [ ! -z \"$(git diff --name-only)\" ]; then\n\
|
|
\ echo \"[+] Changes detected, pushing updates.\"\n\n git add npins\n\n\
|
|
\ if [ -n \"$EXISTING_BRANCH\" ]; then\n git commit --amend --no-edit\n\
|
|
\ git push --force\n else\n git commit --message \"$COMMIT_MESSAGE\"\
|
|
\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
|
|
}}\" -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'
|
|
-o simple | grep \"$COMMIT_MESSAGE dgnum-chores\") ]; then\n tea pr create
|
|
--description \"Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head
|
|
\"$GIT_UPDATE_BRANCH\"\n fi\nfi\n"
|
|
nixos-24_11:
|
|
runs-on: nix
|
|
steps:
|
|
- uses: actions/checkout@v3
|
|
with:
|
|
fetch-depth: 0
|
|
token: ${{ secrets.TEA_DGNUM_CHORES_TOKEN }}
|
|
- env:
|
|
GIT_UPDATE_BRANCH: npins-updates/nixos-24.11
|
|
name: Switch to a new branch
|
|
run: "if git ls-remote --exit-code --heads origin \"refs/heads/$GIT_UPDATE_BRANCH\"\
|
|
; then\n git switch \"$GIT_UPDATE_BRANCH\"\n git rebase main\n echo \"\
|
|
EXISTING_BRANCH=1\" >> $GITHUB_ENV\nelse\n git switch -C \"$GIT_UPDATE_BRANCH\"\
|
|
\nfi\n"
|
|
- env:
|
|
COMMIT_MESSAGE: 'chore(npins): Update nixos-24.11'
|
|
GIT_UPDATE_BRANCH: npins-updates/nixos-24.11
|
|
name: Open a PR if updates are present
|
|
run: "npins update nixos-24.11\n\nif [ ! -z \"$(git diff --name-only)\" ]; then\n\
|
|
\ echo \"[+] Changes detected, pushing updates.\"\n\n git add npins\n\n\
|
|
\ if [ -n \"$EXISTING_BRANCH\" ]; then\n git commit --amend --no-edit\n\
|
|
\ git push --force\n else\n git commit --message \"$COMMIT_MESSAGE\"\
|
|
\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
|
|
}}\" -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'
|
|
-o simple | grep \"$COMMIT_MESSAGE dgnum-chores\") ]; then\n tea pr create
|
|
--description \"Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head
|
|
\"$GIT_UPDATE_BRANCH\"\n fi\nfi\n"
|
|
nixos-generators:
|
|
runs-on: nix
|
|
steps:
|
|
- uses: actions/checkout@v3
|
|
with:
|
|
fetch-depth: 0
|
|
token: ${{ secrets.TEA_DGNUM_CHORES_TOKEN }}
|
|
- env:
|
|
GIT_UPDATE_BRANCH: npins-updates/nixos-generators
|
|
name: Switch to a new branch
|
|
run: "if git ls-remote --exit-code --heads origin \"refs/heads/$GIT_UPDATE_BRANCH\"\
|
|
; then\n git switch \"$GIT_UPDATE_BRANCH\"\n git rebase main\n echo \"\
|
|
EXISTING_BRANCH=1\" >> $GITHUB_ENV\nelse\n git switch -C \"$GIT_UPDATE_BRANCH\"\
|
|
\nfi\n"
|
|
- env:
|
|
COMMIT_MESSAGE: 'chore(npins): Update nixos-generators'
|
|
GIT_UPDATE_BRANCH: npins-updates/nixos-generators
|
|
name: Open a PR if updates are present
|
|
run: "npins update nixos-generators\n\nif [ ! -z \"$(git diff --name-only)\"\
|
|
\ ]; then\n echo \"[+] Changes detected, pushing updates.\"\n\n git add
|
|
npins\n\n if [ -n \"$EXISTING_BRANCH\" ]; then\n git commit --amend --no-edit\n\
|
|
\ git push --force\n else\n git commit --message \"$COMMIT_MESSAGE\"\
|
|
\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
|
|
}}\" -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'
|
|
-o simple | grep \"$COMMIT_MESSAGE dgnum-chores\") ]; then\n tea pr create
|
|
--description \"Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head
|
|
\"$GIT_UPDATE_BRANCH\"\n fi\nfi\n"
|
|
nixos-unstable:
|
|
runs-on: nix
|
|
steps:
|
|
- uses: actions/checkout@v3
|
|
with:
|
|
fetch-depth: 0
|
|
token: ${{ secrets.TEA_DGNUM_CHORES_TOKEN }}
|
|
- env:
|
|
GIT_UPDATE_BRANCH: npins-updates/nixos-unstable
|
|
name: Switch to a new branch
|
|
run: "if git ls-remote --exit-code --heads origin \"refs/heads/$GIT_UPDATE_BRANCH\"\
|
|
; then\n git switch \"$GIT_UPDATE_BRANCH\"\n git rebase main\n echo \"\
|
|
EXISTING_BRANCH=1\" >> $GITHUB_ENV\nelse\n git switch -C \"$GIT_UPDATE_BRANCH\"\
|
|
\nfi\n"
|
|
- env:
|
|
COMMIT_MESSAGE: 'chore(npins): Update nixos-unstable'
|
|
GIT_UPDATE_BRANCH: npins-updates/nixos-unstable
|
|
name: Open a PR if updates are present
|
|
run: "npins update nixos-unstable\n\nif [ ! -z \"$(git diff --name-only)\" ];
|
|
then\n echo \"[+] Changes detected, pushing updates.\"\n\n git add npins\n\
|
|
\n if [ -n \"$EXISTING_BRANCH\" ]; then\n git commit --amend --no-edit\n\
|
|
\ git push --force\n else\n git commit --message \"$COMMIT_MESSAGE\"\
|
|
\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
|
|
}}\" -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'
|
|
-o simple | grep \"$COMMIT_MESSAGE dgnum-chores\") ]; then\n tea pr create
|
|
--description \"Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head
|
|
\"$GIT_UPDATE_BRANCH\"\n fi\nfi\n"
|
|
nixpkgs:
|
|
runs-on: nix
|
|
steps:
|
|
- uses: actions/checkout@v3
|
|
with:
|
|
fetch-depth: 0
|
|
token: ${{ secrets.TEA_DGNUM_CHORES_TOKEN }}
|
|
- env:
|
|
GIT_UPDATE_BRANCH: npins-updates/nixpkgs
|
|
name: Switch to a new branch
|
|
run: "if git ls-remote --exit-code --heads origin \"refs/heads/$GIT_UPDATE_BRANCH\"\
|
|
; then\n git switch \"$GIT_UPDATE_BRANCH\"\n git rebase main\n echo \"\
|
|
EXISTING_BRANCH=1\" >> $GITHUB_ENV\nelse\n git switch -C \"$GIT_UPDATE_BRANCH\"\
|
|
\nfi\n"
|
|
- env:
|
|
COMMIT_MESSAGE: 'chore(npins): Update nixpkgs'
|
|
GIT_UPDATE_BRANCH: npins-updates/nixpkgs
|
|
name: Open a PR if updates are present
|
|
run: "npins update nixpkgs\n\nif [ ! -z \"$(git diff --name-only)\" ]; then\n\
|
|
\ echo \"[+] Changes detected, pushing updates.\"\n\n git add npins\n\n\
|
|
\ if [ -n \"$EXISTING_BRANCH\" ]; then\n git commit --amend --no-edit\n\
|
|
\ git push --force\n else\n git commit --message \"$COMMIT_MESSAGE\"\
|
|
\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
|
|
}}\" -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'
|
|
-o simple | grep \"$COMMIT_MESSAGE dgnum-chores\") ]; then\n tea pr create
|
|
--description \"Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head
|
|
\"$GIT_UPDATE_BRANCH\"\n fi\nfi\n"
|
|
proxmox-nixos:
|
|
runs-on: nix
|
|
steps:
|
|
- uses: actions/checkout@v3
|
|
with:
|
|
fetch-depth: 0
|
|
token: ${{ secrets.TEA_DGNUM_CHORES_TOKEN }}
|
|
- env:
|
|
GIT_UPDATE_BRANCH: npins-updates/proxmox-nixos
|
|
name: Switch to a new branch
|
|
run: "if git ls-remote --exit-code --heads origin \"refs/heads/$GIT_UPDATE_BRANCH\"\
|
|
; then\n git switch \"$GIT_UPDATE_BRANCH\"\n git rebase main\n echo \"\
|
|
EXISTING_BRANCH=1\" >> $GITHUB_ENV\nelse\n git switch -C \"$GIT_UPDATE_BRANCH\"\
|
|
\nfi\n"
|
|
- env:
|
|
COMMIT_MESSAGE: 'chore(npins): Update proxmox-nixos'
|
|
GIT_UPDATE_BRANCH: npins-updates/proxmox-nixos
|
|
name: Open a PR if updates are present
|
|
run: "npins update proxmox-nixos\n\nif [ ! -z \"$(git diff --name-only)\" ];
|
|
then\n echo \"[+] Changes detected, pushing updates.\"\n\n git add npins\n\
|
|
\n if [ -n \"$EXISTING_BRANCH\" ]; then\n git commit --amend --no-edit\n\
|
|
\ git push --force\n else\n git commit --message \"$COMMIT_MESSAGE\"\
|
|
\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
|
|
}}\" -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'
|
|
-o simple | grep \"$COMMIT_MESSAGE dgnum-chores\") ]; then\n tea pr create
|
|
--description \"Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head
|
|
\"$GIT_UPDATE_BRANCH\"\n fi\nfi\n"
|
|
signal-irc-bridge:
|
|
runs-on: nix
|
|
steps:
|
|
- uses: actions/checkout@v3
|
|
with:
|
|
fetch-depth: 0
|
|
token: ${{ secrets.TEA_DGNUM_CHORES_TOKEN }}
|
|
- env:
|
|
GIT_UPDATE_BRANCH: npins-updates/signal-irc-bridge
|
|
name: Switch to a new branch
|
|
run: "if git ls-remote --exit-code --heads origin \"refs/heads/$GIT_UPDATE_BRANCH\"\
|
|
; then\n git switch \"$GIT_UPDATE_BRANCH\"\n git rebase main\n echo \"\
|
|
EXISTING_BRANCH=1\" >> $GITHUB_ENV\nelse\n git switch -C \"$GIT_UPDATE_BRANCH\"\
|
|
\nfi\n"
|
|
- env:
|
|
COMMIT_MESSAGE: 'chore(npins): Update signal-irc-bridge'
|
|
GIT_UPDATE_BRANCH: npins-updates/signal-irc-bridge
|
|
name: Open a PR if updates are present
|
|
run: "npins update signal-irc-bridge\n\nif [ ! -z \"$(git diff --name-only)\"\
|
|
\ ]; then\n echo \"[+] Changes detected, pushing updates.\"\n\n git add
|
|
npins\n\n if [ -n \"$EXISTING_BRANCH\" ]; then\n git commit --amend --no-edit\n\
|
|
\ git push --force\n else\n git commit --message \"$COMMIT_MESSAGE\"\
|
|
\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
|
|
}}\" -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'
|
|
-o simple | grep \"$COMMIT_MESSAGE dgnum-chores\") ]; then\n tea pr create
|
|
--description \"Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head
|
|
\"$GIT_UPDATE_BRANCH\"\n fi\nfi\n"
|
|
stateless-uptime-kuma:
|
|
runs-on: nix
|
|
steps:
|
|
- uses: actions/checkout@v3
|
|
with:
|
|
fetch-depth: 0
|
|
token: ${{ secrets.TEA_DGNUM_CHORES_TOKEN }}
|
|
- env:
|
|
GIT_UPDATE_BRANCH: npins-updates/stateless-uptime-kuma
|
|
name: Switch to a new branch
|
|
run: "if git ls-remote --exit-code --heads origin \"refs/heads/$GIT_UPDATE_BRANCH\"\
|
|
; then\n git switch \"$GIT_UPDATE_BRANCH\"\n git rebase main\n echo \"\
|
|
EXISTING_BRANCH=1\" >> $GITHUB_ENV\nelse\n git switch -C \"$GIT_UPDATE_BRANCH\"\
|
|
\nfi\n"
|
|
- env:
|
|
COMMIT_MESSAGE: 'chore(npins): Update stateless-uptime-kuma'
|
|
GIT_UPDATE_BRANCH: npins-updates/stateless-uptime-kuma
|
|
name: Open a PR if updates are present
|
|
run: "npins update stateless-uptime-kuma\n\nif [ ! -z \"$(git diff --name-only)\"\
|
|
\ ]; then\n echo \"[+] Changes detected, pushing updates.\"\n\n git add
|
|
npins\n\n if [ -n \"$EXISTING_BRANCH\" ]; then\n git commit --amend --no-edit\n\
|
|
\ git push --force\n else\n git commit --message \"$COMMIT_MESSAGE\"\
|
|
\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
|
|
}}\" -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'
|
|
-o simple | grep \"$COMMIT_MESSAGE dgnum-chores\") ]; then\n tea pr create
|
|
--description \"Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head
|
|
\"$GIT_UPDATE_BRANCH\"\n fi\nfi\n"
|
|
wp4nix:
|
|
runs-on: nix
|
|
steps:
|
|
- uses: actions/checkout@v3
|
|
with:
|
|
fetch-depth: 0
|
|
token: ${{ secrets.TEA_DGNUM_CHORES_TOKEN }}
|
|
- env:
|
|
GIT_UPDATE_BRANCH: npins-updates/wp4nix
|
|
name: Switch to a new branch
|
|
run: "if git ls-remote --exit-code --heads origin \"refs/heads/$GIT_UPDATE_BRANCH\"\
|
|
; then\n git switch \"$GIT_UPDATE_BRANCH\"\n git rebase main\n echo \"\
|
|
EXISTING_BRANCH=1\" >> $GITHUB_ENV\nelse\n git switch -C \"$GIT_UPDATE_BRANCH\"\
|
|
\nfi\n"
|
|
- env:
|
|
COMMIT_MESSAGE: 'chore(npins): Update wp4nix'
|
|
GIT_UPDATE_BRANCH: npins-updates/wp4nix
|
|
name: Open a PR if updates are present
|
|
run: "npins update wp4nix\n\nif [ ! -z \"$(git diff --name-only)\" ]; then\n\
|
|
\ echo \"[+] Changes detected, pushing updates.\"\n\n git add npins\n\n\
|
|
\ if [ -n \"$EXISTING_BRANCH\" ]; then\n git commit --amend --no-edit\n\
|
|
\ git push --force\n else\n git commit --message \"$COMMIT_MESSAGE\"\
|
|
\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
|
|
}}\" -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'
|
|
-o simple | grep \"$COMMIT_MESSAGE dgnum-chores\") ]; then\n tea pr create
|
|
--description \"Automatic npins update\" --title \"$COMMIT_MESSAGE\" --head
|
|
\"$GIT_UPDATE_BRANCH\"\n fi\nfi\n"
|
|
name: Update dependencies
|
|
on:
|
|
schedule:
|
|
- cron: 5 16 * * 6
|