Skip to content

Chore: Update CLI docs (#770) #632

Chore: Update CLI docs (#770)

Chore: Update CLI docs (#770) #632

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 }}