Skip to content

sync_upstream

sync_upstream #12908

Workflow file for this run

name: sync_upstream
on:
schedule:
# actually, ~5 minutes is the highest
# effective frequency you will get
- cron: '43 12,19 * * 1-5'
workflow_dispatch: # on button click
jobs:
merge:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
with:
token: ${{secrets.VUL_DRILLER_TOKEN}}
- name: config
run: |
git config --global user.name 'certcc-ghbot'
git config --global user.email '[email protected]'
- name: pull
run: |
# "git checkout master" is unnecessary, already here by default
git pull --unshallow # this option is very important, you would get
# complains about unrelated histories without it.
# (but actions/checkout@v2 can also be instructed
# to fetch all git depth right from the start)
- name: fetch upstream
run: |
git remote add upstream ${{ vars.UPSTREAM_URL }}
git fetch upstream
- name: delete date tags
run: git tag -d $(git tag -l "20*")
- name: merge and push
run: |
git checkout main
git merge --no-edit upstream/main
git push origin main