sync_upstream #12895
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_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 |