Chore: Update CLI docs (#770) #632
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: Merge Main to Release Stage | |
on: | |
push: | |
branches: | |
- main | |
jobs: | |
update-staging: | |
runs-on: ubuntu-latest | |
steps: | |
- name: Check out code | |
uses: actions/checkout@v2 | |
with: | |
fetch-depth: 0 | |
- name: Merge Main to Release Stage | |
run: | | |
git config user.name "hasura-bot" | |
git config user.email "[email protected]" | |
# we'll pull the latest changes from main | |
git pull origin main | |
# then, we'll merge main into release-stage | |
git checkout release-stage | |
git merge main -m "Merge main into release-stage" | |
# and push the changes | |
git push origin release-stage | |
env: | |
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} |