sync-gitster-git-branches #188
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: sync-gitster-git-branches | |
| on: | |
| schedule: | |
| - cron: '17 6 * * *' | |
| workflow_dispatch: | |
| env: | |
| SOURCE_REPOSITORY: gitster/git | |
| TARGET_REPOSITORY: gitgitgadget/git | |
| # We want to limit queuing to a single workflow run i.e. if there is already | |
| # an active workflow run and a queued one, queue another one canceling the | |
| # already queued one. | |
| concurrency: | |
| group: ${{ github.workflow }} | |
| jobs: | |
| sync-gitster-git-branches: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: check which refs need to be synchronized | |
| uses: actions/github-script@v7 | |
| id: check | |
| with: | |
| script: | | |
| const sleep = async (milliseconds) => { | |
| return new Promise(resolve => setTimeout(resolve, milliseconds)) | |
| } | |
| const getRefs = async (repository) => { | |
| let attemptCounter = 1 | |
| for (;;) { | |
| try { | |
| const [owner, repo] = repository.split('/') | |
| const { data } = await github.rest.git.listMatchingRefs({ | |
| owner, | |
| repo, | |
| // We want to match `maint-*` as well as `[a-z][a-z]/*` | |
| // sadly, this is not possible via GitHub's REST API, | |
| // hence we do it below via the `filter()` call. | |
| ref: 'heads/' | |
| }) | |
| return data | |
| .filter(e => e.ref.match(/^refs\/heads\/(maint-\d|[a-z][a-z]\/)/)) | |
| .sort((a, b) => a.ref.localeCompare(b.ref)) | |
| } catch (e) { | |
| if (e?.status !== 502) throw e | |
| } | |
| if (++attemptCounter > 10) throw new Error('Giving up listing refs after 10 attempts') | |
| const seconds = attemptCounter * attemptCounter + 15 * Math.random() | |
| core.info(`Encountered a Server Error; retrying in ${seconds} seconds`) | |
| await sleep(1000 * seconds) | |
| } | |
| } | |
| const sourceRefs = await getRefs(process.env.SOURCE_REPOSITORY) | |
| const targetRefs = await getRefs(process.env.TARGET_REPOSITORY) | |
| const refspecs = [] | |
| const toFetch = new Set() | |
| for (let i = 0, j = 0; i < sourceRefs.length || j < targetRefs.length; ) { | |
| const compare = i >= sourceRefs.length | |
| ? +1 | |
| : j >= targetRefs.length | |
| ? -1 | |
| : sourceRefs[i].ref.localeCompare(targetRefs[j].ref) | |
| if (compare > 0) { | |
| // no source ref => delete target ref | |
| refspecs.push(`:${targetRefs[j].ref}`) | |
| j++ | |
| } else if (compare < 0) { | |
| // no corresponding target ref yet => push source ref (new) | |
| const sha = sourceRefs[i].object.sha | |
| toFetch.add(sha) | |
| refspecs.push(`${sha}:${sourceRefs[i].ref}`) | |
| i++ | |
| } else { | |
| // the sourceRef's name matches the targetRef's | |
| if (sourceRefs[i].object.sha !== targetRefs[j].object.sha) { | |
| // target ref needs updating | |
| const sha = sourceRefs[i].object.sha | |
| toFetch.add(sha) | |
| refspecs.push(`+${sha}:${sourceRefs[i].ref}`) | |
| } | |
| i++ | |
| j++ | |
| } | |
| } | |
| core.setOutput('refspec', refspecs.join(' ')) | |
| targetRefs.forEach((e) => toFetch.delete(e.object.sha)) | |
| core.setOutput('to-fetch', [...toFetch].join(' ')) | |
| - name: obtain installation token | |
| if: steps.check.outputs.refspec != '' | |
| uses: tibdex/github-app-token@b62528385c34dbc9f38e5f4225ac829252d1ea92 | |
| id: token | |
| with: | |
| app_id: ${{ secrets.GITGITGADGET_GITHUB_APP_ID }} | |
| private_key: ${{ secrets.GITGITGADGET_GITHUB_APP_PRIVATE_KEY }} | |
| repository: ${{ env.TARGET_REPOSITORY }} | |
| - name: set authorization header | |
| if: steps.check.outputs.refspec != '' | |
| uses: actions/github-script@v7 | |
| id: auth | |
| with: | |
| script: | | |
| // Sadly, `git push` does not work with 'Authorization: Bearer <PAT>', therefore | |
| // we have to use the `Basic` variant | |
| const auth = Buffer.from('PAT:${{ steps.token.outputs.token }}').toString('base64') | |
| core.setSecret(auth) | |
| core.setOutput('header', `Authorization: Basic ${auth}`) | |
| - name: sync | |
| if: steps.check.outputs.refspec != '' | |
| shell: bash | |
| run: | | |
| set -ex | |
| git init --bare | |
| git remote add source "${{ github.server_url }}/$SOURCE_REPOSITORY" | |
| # pretend to be a partial clone | |
| git config remote.source.promisor true | |
| git config remote.source.partialCloneFilter blob:none | |
| # fetch some commits | |
| printf '%s' '${{ steps.check.outputs.to-fetch }}' | | |
| xargs -d ' ' -r git fetch --depth 10000 source | |
| rm -f .git/shallow | |
| # push the commits | |
| printf '%s' '${{ steps.check.outputs.refspec }}' | | |
| xargs -d ' ' -r git -c http.extraHeader='${{ steps.auth.outputs.header }}' \ | |
| push "${{ github.server_url }}/$TARGET_REPOSITORY" |