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@v30 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@v7 with: title: Update mediawiki extensions labels: merge-queue