Update from upstream cask definition #8950

	name: Update from upstream cask definition

	on:
	# Run every 4 hours.
	schedule:
	- cron: "0 /4 * *"

	# Also allow manual triggering.
	workflow_dispatch:

	jobs:
	update:
	runs-on: ubuntu-latest

	steps:
	# Checkout both superproject and submodule, with shallow history (the Makefile will take care of fetching more).
	- uses: actions/checkout@v2
	with:
	submodules: true

	# Set username and email so that commits can be made.
	- name: Set Git committer identity
	run: \|
	git config user.name "Github Actions"
	git config user.email "[email protected]"

	# Cherry-pick commits that change the cask file from the upstream repository.
	- name: Update from upstream
	run: make update

	# Push those commits back to `master`.
	- name: Push to `master`
	run: git push

Provide feedback