extern/nixos-wiki-infra
1
0
Fork 1
mirror of https://github.com/Mic92/nixos-wiki-infra.git synced 2024-11-21 15:53:34 +01:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #137 from NixOS/renovate/peter-evans-create-pull-request-7.x

Browse Source 
chore(deps): update peter-evans/create-pull-request action to v7
This commit is contained in:
Jörg Thalheim 2024-09-17 09:19:12 +02:00 committed by GitHub
commit c5bd193112
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.github/workflows/update-extensions.yml vendored
View File

@ -21,7 +21,7 @@ jobs:
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
- name: Create Pull Request
uses: peter-evans/create-pull-request@v6
uses: peter-evans/create-pull-request@v7
with:
title: Update mediawiki extensions
labels: merge-queue