auto-updater #522

	name: auto-updater

	on:
	schedule:
	# run at 1700UTC (1am +8GMT) everyday
	- cron: "0 17 * * *"
	workflow_dispatch:


	jobs:
	update:

	runs-on: ubuntu-latest

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

	- name: Set git username and email, so we can commit and push
	run: \|
	git config --global user.email "3904043+isen-ng@users.noreply.github.com"
	git config --global user.name "Isen Ng"

	- name: Run auto_updater.py
	env:
	GITHUB_USER: ${{ secrets.GITHUB_USER }}
	GITHUB_TOKEN: ${{ secrets.UPDATER_PUSH_TOKEN }}
	run: ./auto_updater.py --really_push

Provide feedback