Merge pull request #15 from asya81/add-examples-link-to-tutorial #176

	# This is a basic workflow to help you get started with Actions

	name: DEPLOY

	# Controls when the workflow will run
	on:
	# Triggers the workflow on push or pull request events but only for the master branch
	push:
	branches: [ master ]

	# Allows you to run this workflow manually from the Actions tab
	workflow_dispatch:

	# A workflow run is made up of one or more jobs that can run sequentially or in parallel
	jobs:
	# This workflow contains a single job called "build"
	build:
	# The type of runner that the job will run on
	runs-on: ubuntu-latest

	# Steps represent a sequence of tasks that will be executed as part of the job
	steps:
	# Checks-out your repository under $GITHUB_WORKSPACE, so your job can access it
	- uses: actions/checkout@v2
	with:
	fetch-depth: 0
	- name: Setup
	env:
	WIKI_DEPLOY_KEY: ${{secrets.WIKI_DEPLOY_KEY}}
	run: \|
	echo "$WIKI_DEPLOY_KEY" > ~/deploy_key.pem
	chmod 600 ~/deploy_key.pem
	git config --global user.email "[email protected]"
	git config --global user.name "hasumikin"
	git config remote.origin.url "[email protected]:picoruby/prk_firmware.wiki.git"
	- name: Deploy
	env:
	GIT_SSH_COMMAND: ssh -i ~/deploy_key.pem -o StrictHostKeyChecking=no -F /dev/null
	run: git push origin master

Provide feedback