Fix network tuning #633

	name: clustergit
	on:
	push:
	paths:
	- programs/clustergit/install.bash
	- .github/workflows/clustergit.yml
	schedule:
	# Not at the start of an hour or a day to decreate the chance of delay.
	# See schedule documentation.
	# https://docs.github.com/en/actions/using-workflows/events-that-trigger-workflows#schedule
	- cron: "17 5 * * *"

	workflow_dispatch:

	jobs:
	test_idempotent_installation:

	strategy:
	fail-fast: false
	matrix:
	os:
	- "ubuntu:20.04"
	- "ubuntu:22.04"

	runs-on: ubuntu-latest
	container:
	image: "${{ matrix.os }}"

	steps:

	- name: Check out code
	uses: actions/checkout@v4

	- name: Prepare Docker
	run: ./scripts/prepare_docker.bash
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}

	# Must come after "Prepare Docker" because it needs sudo.
	- name: Tune GitHub-hosted runner network
	uses: smorimoto/tune-github-hosted-runner-network@v1

	- name: Install clustergit
	shell: su norm --command "bash --login {0}"
	run: programs/clustergit/install.bash

	- name: Install clustergit again (test idempotency)
	shell: su norm --command "bash --login {0}"
	run: programs/clustergit/install.bash

Provide feedback