|
|
|
|
|
|
|
|
|
name: Merge main into PRs |
|
|
|
on: |
|
workflow_dispatch: |
|
push: |
|
branches: |
|
- main |
|
- master |
|
|
|
jobs: |
|
Merge: |
|
if: github.repository == 'ultralytics/yolov5' |
|
runs-on: ubuntu-latest |
|
steps: |
|
- name: Checkout repository |
|
uses: actions/checkout@v4 |
|
with: |
|
fetch-depth: 0 |
|
- uses: actions/setup-python@v5 |
|
with: |
|
python-version: "3.11" |
|
cache: "pip" |
|
- name: Install requirements |
|
run: | |
|
pip install pygithub |
|
- name: Merge main into PRs |
|
shell: python |
|
run: | |
|
from github import Github |
|
import os |
|
|
|
|
|
g = Github(os.getenv('GITHUB_TOKEN')) |
|
|
|
|
|
repo = g.get_repo(os.getenv('GITHUB_REPOSITORY')) |
|
|
|
|
|
open_pulls = repo.get_pulls(state='open', sort='created') |
|
|
|
for pr in open_pulls: |
|
|
|
try: |
|
|
|
success = pr.update_branch() |
|
assert success, "Branch update failed" |
|
print(f"Merged 'master' into PR |
|
except Exception as e: |
|
print(f"Could not merge 'master' into PR |
|
env: |
|
GITHUB_TOKEN: ${{ secrets.PERSONAL_ACCESS_TOKEN }} |
|
GITHUB_REPOSITORY: ${{ github.repository }} |
|
|