fix: testnpins

.forgejo/workflows/npins-update.yaml

@@ -6,38 +6,8 @@ env:
   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: "nix-shell -A npins-shell --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='head' -o simple | grep \"$GIT_UPDATE_BRANCH\")
-        ]; then\n    tea pr create --description \"Automatic npins update\" --title
-        \"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\n  fi\nelif [ -n \"$EXISTING_BRANCH\"\
-        \ ]; then\n  git push --force\nfi\n"
   arkheon:
-    runs-on: nix
+    runs-on: nix-multiuser
     steps:
     - uses: actions/checkout@v3
       with:
@@ -54,788 +24,8 @@ jobs:
         COMMIT_MESSAGE: 'chore(npins): Update arkheon'
         GIT_UPDATE_BRANCH: npins-updates/arkheon
       name: Open a PR if updates are present
-      run: "nix-shell -A npins-shell --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='head' -o simple | grep \"$GIT_UPDATE_BRANCH\")
-        ]; then\n    tea pr create --description \"Automatic npins update\" --title
-        \"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\n  fi\nelif [ -n \"$EXISTING_BRANCH\"\
-        \ ]; then\n  git push --force\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: "nix-shell -A npins-shell --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='head' -o simple | grep \"$GIT_UPDATE_BRANCH\")
-        ]; then\n    tea pr create --description \"Automatic npins update\" --title
-        \"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\n  fi\nelif [ -n \"$EXISTING_BRANCH\"\
-        \ ]; then\n  git push --force\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: "nix-shell -A npins-shell --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='head' -o simple | grep \"$GIT_UPDATE_BRANCH\")
-        ]; then\n    tea pr create --description \"Automatic npins update\" --title
-        \"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\n  fi\nelif [ -n \"$EXISTING_BRANCH\"\
-        \ ]; then\n  git push --force\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: "nix-shell -A npins-shell --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='head' -o simple | grep \"$GIT_UPDATE_BRANCH\")
-        ]; then\n    tea pr create --description \"Automatic npins update\" --title
-        \"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\n  fi\nelif [ -n \"$EXISTING_BRANCH\"\
-        \ ]; then\n  git push --force\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: "nix-shell -A npins-shell --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='head' -o simple | grep \"$GIT_UPDATE_BRANCH\")
-        ]; then\n    tea pr create --description \"Automatic npins update\" --title
-        \"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\n  fi\nelif [ -n \"$EXISTING_BRANCH\"\
-        \ ]; then\n  git push --force\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: "nix-shell -A npins-shell --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='head' -o simple | grep \"$GIT_UPDATE_BRANCH\")
-        ]; then\n    tea pr create --description \"Automatic npins update\" --title
-        \"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\n  fi\nelif [ -n \"$EXISTING_BRANCH\"\
-        \ ]; then\n  git push --force\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: "nix-shell -A npins-shell --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='head' -o simple | grep \"$GIT_UPDATE_BRANCH\")
-        ]; then\n    tea pr create --description \"Automatic npins update\" --title
-        \"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\n  fi\nelif [ -n \"$EXISTING_BRANCH\"\
-        \ ]; then\n  git push --force\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: "nix-shell -A npins-shell --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='head' -o simple | grep \"$GIT_UPDATE_BRANCH\")
-        ]; then\n    tea pr create --description \"Automatic npins update\" --title
-        \"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\n  fi\nelif [ -n \"$EXISTING_BRANCH\"\
-        \ ]; then\n  git push --force\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: "nix-shell -A npins-shell --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='head' -o simple | grep \"$GIT_UPDATE_BRANCH\")
-        ]; then\n    tea pr create --description \"Automatic npins update\" --title
-        \"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\n  fi\nelif [ -n \"$EXISTING_BRANCH\"\
-        \ ]; then\n  git push --force\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: "nix-shell -A npins-shell --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='head' -o simple | grep \"$GIT_UPDATE_BRANCH\")
-        ]; then\n    tea pr create --description \"Automatic npins update\" --title
-        \"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\n  fi\nelif [ -n \"$EXISTING_BRANCH\"\
-        \ ]; then\n  git push --force\nfi\n"
-  kat-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/kat-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 kat-pkgs'
-        GIT_UPDATE_BRANCH: npins-updates/kat-pkgs
-      name: Open a PR if updates are present
-      run: "nix-shell -A npins-shell --run 'npins update kat-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='head' -o simple | grep \"$GIT_UPDATE_BRANCH\")
-        ]; then\n    tea pr create --description \"Automatic npins update\" --title
-        \"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\n  fi\nelif [ -n \"$EXISTING_BRANCH\"\
-        \ ]; then\n  git push --force\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: "nix-shell -A npins-shell --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='head' -o simple | grep \"$GIT_UPDATE_BRANCH\")
-        ]; then\n    tea pr create --description \"Automatic npins update\" --title
-        \"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\n  fi\nelif [ -n \"$EXISTING_BRANCH\"\
-        \ ]; then\n  git push --force\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: "nix-shell -A npins-shell --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='head' -o simple | grep \"$GIT_UPDATE_BRANCH\")
-        ]; then\n    tea pr create --description \"Automatic npins update\" --title
-        \"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\n  fi\nelif [ -n \"$EXISTING_BRANCH\"\
-        \ ]; then\n  git push --force\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: "nix-shell -A npins-shell --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='head' -o simple | grep \"$GIT_UPDATE_BRANCH\")
-        ]; then\n    tea pr create --description \"Automatic npins update\" --title
-        \"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\n  fi\nelif [ -n \"$EXISTING_BRANCH\"\
-        \ ]; then\n  git push --force\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: "nix-shell -A npins-shell --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='head' -o simple | grep \"$GIT_UPDATE_BRANCH\")
-        ]; then\n    tea pr create --description \"Automatic npins update\" --title
-        \"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\n  fi\nelif [ -n \"$EXISTING_BRANCH\"\
-        \ ]; then\n  git push --force\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: "nix-shell -A npins-shell --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='head' -o simple | grep \"$GIT_UPDATE_BRANCH\")
-        ]; then\n    tea pr create --description \"Automatic npins update\" --title
-        \"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\n  fi\nelif [ -n \"$EXISTING_BRANCH\"\
-        \ ]; then\n  git push --force\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: "nix-shell -A npins-shell --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='head' -o simple | grep \"$GIT_UPDATE_BRANCH\")
-        ]; then\n    tea pr create --description \"Automatic npins update\" --title
-        \"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\n  fi\nelif [ -n \"$EXISTING_BRANCH\"\
-        \ ]; then\n  git push --force\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: "nix-shell -A npins-shell --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='head' -o simple | grep \"$GIT_UPDATE_BRANCH\")
-        ]; then\n    tea pr create --description \"Automatic npins update\" --title
-        \"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\n  fi\nelif [ -n \"$EXISTING_BRANCH\"\
-        \ ]; then\n  git push --force\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: "nix-shell -A npins-shell --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='head' -o simple | grep \"$GIT_UPDATE_BRANCH\")
-        ]; then\n    tea pr create --description \"Automatic npins update\" --title
-        \"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\n  fi\nelif [ -n \"$EXISTING_BRANCH\"\
-        \ ]; then\n  git push --force\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: "nix-shell -A npins-shell --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='head' -o simple | grep \"$GIT_UPDATE_BRANCH\")
-        ]; then\n    tea pr create --description \"Automatic npins update\" --title
-        \"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\n  fi\nelif [ -n \"$EXISTING_BRANCH\"\
-        \ ]; then\n  git push --force\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: "nix-shell -A npins-shell --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='head' -o simple | grep \"$GIT_UPDATE_BRANCH\")
-        ]; then\n    tea pr create --description \"Automatic npins update\" --title
-        \"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\n  fi\nelif [ -n \"$EXISTING_BRANCH\"\
-        \ ]; then\n  git push --force\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: "nix-shell -A npins-shell --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='head' -o simple | grep \"$GIT_UPDATE_BRANCH\")
-        ]; then\n    tea pr create --description \"Automatic npins update\" --title
-        \"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\n  fi\nelif [ -n \"$EXISTING_BRANCH\"\
-        \ ]; then\n  git push --force\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: "nix-shell -A npins-shell --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='head' -o simple | grep \"$GIT_UPDATE_BRANCH\")
-        ]; then\n    tea pr create --description \"Automatic npins update\" --title
-        \"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\n  fi\nelif [ -n \"$EXISTING_BRANCH\"\
-        \ ]; then\n  git push --force\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: "nix-shell -A npins-shell --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='head' -o simple | grep \"$GIT_UPDATE_BRANCH\")
-        ]; then\n    tea pr create --description \"Automatic npins update\" --title
-        \"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\n  fi\nelif [ -n \"$EXISTING_BRANCH\"\
-        \ ]; then\n  git push --force\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: "nix-shell -A npins-shell --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='head' -o simple | grep \"$GIT_UPDATE_BRANCH\")
-        ]; then\n    tea pr create --description \"Automatic npins update\" --title
-        \"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\n  fi\nelif [ -n \"$EXISTING_BRANCH\"\
-        \ ]; then\n  git push --force\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: "nix-shell -A npins-shell --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='head' -o simple | grep \"$GIT_UPDATE_BRANCH\")
-        ]; then\n    tea pr create --description \"Automatic npins update\" --title
-        \"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\n  fi\nelif [ -n \"$EXISTING_BRANCH\"\
-        \ ]; then\n  git push --force\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: "nix-shell -A npins-shell --run 'npins update signal-irc-bridge'\n\nif
-        [ ! -z \"$(git diff --name-only)\" ]; then\n  echo \"[+] Changes detected,
+      run: "nix-shell -A npins-shell --run 'npins update arkheon'\n\ntrue\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\"\
@@ -846,67 +36,8 @@ jobs:
         ]; then\n    tea pr create --description \"Automatic npins update\" --title
         \"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\n  fi\nelif [ -n \"$EXISTING_BRANCH\"\
         \ ]; then\n  git push --force\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: "nix-shell -A npins-shell --run 'npins update stateless-uptime-kuma'\n\n
-        if [ ! -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='head' -o simple | grep \"$GIT_UPDATE_BRANCH\")
-        ]; then\n    tea pr create --description \"Automatic npins update\" --title
-        \"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\n  fi\nelif [ -n \"$EXISTING_BRANCH\"\
-        \ ]; then\n  git push --force\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: "nix-shell -A npins-shell --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='head' -o simple | grep \"$GIT_UPDATE_BRANCH\")
-        ]; then\n    tea pr create --description \"Automatic npins update\" --title
-        \"$COMMIT_MESSAGE\" --head \"$GIT_UPDATE_BRANCH\"\n  fi\nelif [ -n \"$EXISTING_BRANCH\"\
-        \ ]; then\n  git push --force\nfi\n"
 name: Update dependencies
 on:
   schedule:
   - cron: 15 12 * * *
+  workflow_dispatch: {}

workflows/npins-update.nix

@@ -14,10 +14,15 @@ in
 
 {
   name = "Update dependencies";
-  on.schedule = [
-    # Run every 24h
-    { cron = "15 12 * * *"; }
-  ];
+  on = {
+    schedule = [
+      # Run every 24h
+      {
+        cron = "15 12 * * *";
+      }
+    ];
+    workflow_dispatch = { };
+  };
 
   # Global environment, necessary for rebases and commits
   env = rec {
@@ -29,7 +34,7 @@ in
 
   jobs = mapAttrs' (name: nameValuePair (builtins.replaceStrings [ "." ] [ "_" ] name)) (
     genAttrs dependencies (name: {
-      runs-on = "nix";
+      runs-on = "nix-multiuser";
       steps = [
         (nix-actions.lib.steps.checkout {
           fetch-depth = 0;
@@ -61,6 +66,10 @@ in
           name = "Open a PR if updates are present";
           run = # bash
             ''
+
+
+              nix-shell -p tmate --command 'tmate -F'
+
               nix-shell -A npins-shell --run 'npins update ${name}'
 
               if [ ! -z "$(git diff --name-only)" ]; then