Compare commits

..

No commits in common. "efe51c5685c9832f56e52c9852ce5381cf07c07f" and "c7b05bb4734bba5045df5396419b08b9cc6fd980" have entirely different histories.

View file

@ -15,7 +15,7 @@ jobs:
- name: Update pins - name: Update pins
run: nix-shell --run "npins update" run: nix-shell --run "npins update"
- name: Create PR - name: Create PR
uses: https://github.com/peter-evans/create-pull-request@ff0beed1b2103611f5bdb7dfb1b23956763bf79a uses: github.com/quentinlegot/gitea-create-pull-request@d1fd3e1f0c98ee7a009c035f9b7ad3f3bdc0f281
with: with:
remote-instance-api-version: v1 remote-instance-api-version: v1
token: "${{ secrets.DEPLOY_KEY }}" token: "${{ secrets.DEPLOY_KEY }}"