Merge upstream branches #191
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
# .github/workflows/example.yml | |
name: Merge upstream branches | |
on: | |
schedule: | |
# Every day at 3:18am | |
- cron: '18 3 * * *' | |
jobs: | |
merge: | |
runs-on: ubuntu-latest | |
steps: | |
- uses: actions/checkout@v3 | |
- name: Merge upstream | |
run: | | |
git config --global user.name 'SAIR Bot' | |
git config --global user.email '[email protected]' | |
# "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) | |
git remote add upstream https://github.com/leggedrobotics/iPlanner.git | |
git fetch upstream | |
# Neither forget the -b opt, | |
# remember to change branch name such as "master" or "main" | |
git merge --no-edit upstream/master | |
git push origin master |