Sync bootstrap code #853

	name: Sync bootstrap code

	on:
	workflow_dispatch:
	schedule:
	- cron: '0 0 * * *'

	jobs:
	sync:
	runs-on: ubuntu-latest

	steps:
	- name: Get sources
	uses: actions/checkout@v2

	- name: Set up Deno
	uses: denoland/setup-deno@v1
	with:
	deno-version: v1.x

	- name: Download current bootstrap code
	run: make bootstrap

	- name: Commit and push any changes
	run: \|
	git config --global user.name "${GITHUB_ACTOR}"
	git config --global user.email "${GITHUB_ACTOR}@users.noreply.github.com"
	git add src/
	if git commit -m "Sync bootstrap code"; then
	git push origin main
	fi

Provide feedback