Merge remote-tracking branch 'origin/main' into fix-keepalive-in-forks

Since the fork in `gitgitgadget-workflows` diverged from the upstream
repository in `gitgitgadget` by mistake, let's reconcile them.

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>

Author: dscho