Skip to content

Update mediawiki extensions #79

Update mediawiki extensions

Update mediawiki extensions #79

name: "Update mediawiki extensions"
on:
repository_dispatch:
workflow_dispatch:
schedule:
- cron: "51 2 * * *"
permissions:
pull-requests: write
contents: write
jobs:
update-extensions:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
with:
submodules: true
- uses: cachix/install-nix-action@v27
with:
nix_path: nixpkgs=channel:nixos-unstable
- run: ./modules/nixos-wiki/update-extensions.py ./modules/nixos-wiki/extensions.json
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
- name: Create Pull Request
uses: peter-evans/create-pull-request@v6
with:
title: Update mediawiki extensions
labels: merge-queue