Make map source configurable (#126) #109

	name: Automatic release
	on:
	# Action is triggered on every commit to the master branch.
	push:
	branches:
	- master

	jobs:
	release:
	runs-on: ubuntu-latest
	steps:

	- uses: actions/checkout@v4
	with:
	submodules: true

	- name: Build manifest
	run: ./buildtools/publish.js manifest.json
	# Create new release tagged as latest, and overwrite last one.
	# https://github.com/marvinpinto/actions/tree/master/packages/automatic-releases
	- uses: "marvinpinto/action-automatic-releases@latest"
	with:
	repo_token: "${{ secrets.GITHUB_TOKEN }}"
	automatic_release_tag: "latest"
	prerelease: false
	title: "Automatic release"
	files: manifest.json

	# Would like a version of manifest.json that is usable from browsers
	# for grist-static. CORS wildcard is not set on releases, but is set
	# on github pages. Also jsdelivr can mirror branches, but not releases.
	- name: Make a release branch that includes manifest.json
	run: \|
	git config user.name "Paul's Grist Bot"
	git config user.email "<paul+bot@getgrist.com>"
	git add -f manifest.json
	git commit -m "add manifest.json" -a
	git push --set-upstream origin HEAD:release -f

Provide feedback