From cf31bc0943db1143ea205626b482ceebdb4629c0 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniele=20Trifir=C3=B2?= <dtrifiro@redhat.com> Date: Mon, 3 Jun 2024 11:24:37 +0200 Subject: [PATCH] gha: add sync workflow --- .github/workflows/sync-with-upstream.yml | 91 ++++++++++++++++++++++++ 1 file changed, 91 insertions(+) create mode 100644 .github/workflows/sync-with-upstream.yml diff --git a/.github/workflows/sync-with-upstream.yml b/.github/workflows/sync-with-upstream.yml new file mode 100644 index 0000000000000..5f009b897a3bb --- /dev/null +++ b/.github/workflows/sync-with-upstream.yml @@ -0,0 +1,91 @@ +name: "Sync with upstream" + +on: + schedule: + - cron: 20 4 * * * + + workflow_dispatch: + + +env: + # repo to fetch changes from + UPSTREAM_REPO: vllm-project/vllm + # branch to sync + BRANCH: main + +jobs: + upstream-sync: + name: Sync with upstream + runs-on: ubuntu-latest + permissions: + pull-requests: write + contents: write + + steps: + - uses: actions/checkout@v4 + with: + fetch-depth: 0 + + - name: Fetch upstream repo + run: | + git remote add upstream https://github.com/${UPSTREAM_REPO} + git fetch upstream + + - name: Check diff + id: diff + shell: bash + run: | + echo 'diff<<EOF' >> $GITHUB_OUTPUT + git diff --stat upstream/${BRANCH} | tee -a >(cat >> $GITHUB_OUTPUT) + echo 'EOF' >> $GITHUB_OUTPUT + + - name: Create PR + if: ${{ steps.diff.outputs.diff != '' }} + env: + GH_TOKEN: ${{ github.token }} + run: | + set -xeu + + git_hash="$(git rev-parse upstream/${BRANCH})" + echo "git_hash=$git_hash" >> $GITHUB_OUTPUT + git_describe="$(git describe --tags upstream/${BRANCH})" + echo "git_describe=$git_describe" >> $GITHUB_OUTPUT + + # echo 'commits<<EOF' >> $GITHUB_OUTPUT + # git log --oneline ..upstream/${BRANCH} >> $GITHUB_OUTPUT + # echo 'EOF' >> $GITHUB_OUTPUT + + upstream_url="https://github.com/${UPSTREAM_REPO}" + upstream_branch="$upstream_url/tree/${BRANCH}" + + title="Sync with upstream@${git_describe}" + body="Merge [${UPSTREAM_REPO}]($upstream_url):[${BRANCH}]($upstream_branch)@[${git_describe}](${upstream_url}/commit/$git_hash) into $BRANCH" + + gh repo set-default $GITHUB_REPOSITORY + pr_number=$(gh pr list -S "Sync with upstream@" --json number --jq '.[0].number') + + if [[ -z $pr_number ]]; then + echo "Creating PR" + gh pr create \ + --head $(echo $UPSTREAM_REPO | sed 's|/|:|g'):${BRANCH} \ + --base ${BRANCH} \ + --label code-sync \ + --title "$title" \ + --body "$body" \ + --no-maintainer-edit + exit 0 + fi + + echo "Checking if PR is up-to-date" + + git fetch ${upstream_url} refs/pull/${pr_number}/head + if git diff --stat --exit-code upstream/main FETCH_HEAD; then + echo "PR is up-to-date" + exit 0 + fi + + echo "Updating PR \#${pr_number}" + gh pr edit \ + $pr_number \ + --body "$body" \ + --title "$title"