Upstream synchronization #96
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Upstream synchronization | |
| on: | |
| schedule: | |
| - cron: "0 6 * * 3" # 6am every Wednesday | |
| workflow_dispatch: | |
| env: | |
| LABEL: automated-upstream-merge | |
| jobs: | |
| sync-upstream: | |
| name: Sync upstream branch | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Checkout local `upstream` branch (us) | |
| uses: actions/checkout@v3 | |
| with: | |
| ref: upstream | |
| fetch-depth: 0 | |
| - name: Checkout upstream `master` branch (them) | |
| run: | | |
| git remote add upstream git://sourceware.org/git/valgrind.git | |
| git fetch --tags upstream master | |
| shell: bash | |
| - name: Configure git credentials | |
| run: | | |
| git config --global user.name "upstream-sync[bot]" | |
| git config --global user.email "upstream-sync[bot]@users.noreply.github.com" | |
| - name: Rebase local `upstream` branch onto upstream `master` | |
| run: | | |
| git rebase upstream/master | |
| git push -f origin upstream | |
| git push --tags origin | |
| shell: bash | |
| upstream-merge-pr: | |
| name: Merge upstream changes into main | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Checkout local `main` branch (us) | |
| uses: actions/checkout@v3 | |
| with: | |
| ref: main | |
| fetch-depth: 0 | |
| - name: Checkout upstream `master` branch (them) | |
| run: | | |
| git remote add upstream git://sourceware.org/git/valgrind.git | |
| git fetch upstream master | |
| shell: bash | |
| - name: Configure git credentials | |
| run: | | |
| git config --global user.name "upstream-sync[bot]" | |
| git config --global user.email "upstream-sync[bot]@users.noreply.github.com" | |
| - name: Create a merge which merge them into us | |
| id: merge | |
| run: | | |
| NAME=$(date +%Y-%m-%d-%s) | |
| BRANCH=feature/upstream-${NAME} | |
| CHANGES=$(git log --oneline main..upstream/master) | |
| git merge upstream/master | |
| echo "Branch: ${BRANCH}" | |
| echo "Generated: ${NAME}" | |
| echo "branch=${BRANCH}" >> $GITHUB_OUTPUT | |
| echo "generated=${NAME}" >> $GITHUB_OUTPUT | |
| echo "changes<<EOF" >> $GITHUB_OUTPUT | |
| echo "${CHANGES}" >> $GITHUB_OUTPUT | |
| echo "EOF" >> $GITHUB_OUTPUT | |
| shell: bash | |
| - name: Create pull request | |
| id: cpr | |
| uses: peter-evans/create-pull-request@v5 | |
| with: | |
| title: "chore(upstream): merge upstream changes into main" | |
| body: | | |
| This is an automated PR merging upstream changes into main. | |
| Generated on: ${{ steps.merge.outputs.generated }} | |
| Changes: | |
| ``` | |
| ${{ steps.merge.outputs.changes }} | |
| ``` | |
| branch: ${{ steps.merge.outputs.branch }} | |
| delete-branch: true | |
| reviewers: LouisBrunner | |
| labels: upstream,chore,${{ env.LABEL }} | |
| - name: Close older pull requests | |
| run: | | |
| echo "New PR: ${{ steps.cpr.outputs.pull-request-number }} (${{ steps.cpr.outputs.pull-request-url }})" | |
| gh pr list --label ${{ env.LABEL }} --json number --jq '.[].number' | while read -r NUM; do | |
| if [ $NUM -eq ${{ steps.cpr.outputs.pull-request-number }} ]; then | |
| continue | |
| fi | |
| URL=$(gh pr view $NUM --json url --jq .url) | |
| echo "# Closing PR: $NUM ($URL)" | |
| gh pr close $NUM -d -c 'Stale pull request, see new one here: ${{ steps.cpr.outputs.pull-request-url }}' | |
| done | |
| shell: bash | |
| env: | |
| GH_TOKEN: ${{ github.token }} |