Add test that shows Gauss's law for low-order hexes may need overinte… #168

	name: Gitlab mirror
	on:
	push:
	branches:
	- main

	jobs:
	autopush:
	name: Automatic push to gitlab.tiker.net
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	- run: \|
	mkdir ~/.ssh && echo -e "Host gitlab.tiker.net\n\tStrictHostKeyChecking no\n" >> ~/.ssh/config
	eval $(ssh-agent) && echo "$GITLAB_AUTOPUSH_KEY" \| ssh-add -
	git fetch --unshallow
	git push "[email protected]:inducer/$(basename $GITHUB_REPOSITORY).git" main
	env:
	GITLAB_AUTOPUSH_KEY: ${{ secrets.GITLAB_AUTOPUSH_KEY }}

	# vim: sw=4

Provide feedback