Skip to content

Merge branch 'main' into wikipedia #1766

Merge branch 'main' into wikipedia

Merge branch 'main' into wikipedia #1766

Workflow file for this run

name: Rebase pull requests
on:
push:
release:
types: [published]
jobs:
auto-rebase:
name: rebase dependabot PRs
runs-on: ubuntu-latest
if: github.ref == 'refs/heads/main' || github.event == 'release'
timeout-minutes: 5
steps:
- name: rebase
uses: "bbeesley/gha-auto-dependabot-rebase@main"
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}