Skip to content

Merge upstream branches #194

Merge upstream branches

Merge upstream branches #194

Workflow file for this run

# .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