Update merge-to-docs-branch.yml #9

	name: Merge to Docs Branch

	on:
	push:
	branches:
	- develop

	jobs:
	merge-to-docs:
	runs-on: ubuntu-latest

	steps:
	- name: Checkout Repository
	uses: actions/checkout@v2

	- name: Merge to Docs Branch
	run: \|
	git config user.name "andsonder"
	git config user.email "changlu@keter.top"

	git remote add origin_with_token https://username:${{ secrets.GITHUB_TOKEN }}@github.com/PaddleJitLab/CUDATutorial.git
	git fetch origin_with_token

	git checkout -- docs
	git merge develop --no-edit
	git push origin_with_token docs

Provide feedback