Am Sonntag, dem 23.04.2023 um 12:04 -0400 schrieb Maxim Cournoyer: > * etc/git/gitconfig: Augment configuration template with useful > options to > allow for auto-configuration. > * etc/teams.scm.in (configure-git): New procedure. > (main): Register it and add documentation. I think configure-git is somewhat out of scope inside teams.scm. We do already tell people to set up their push hooks, so we probably ought to solve this via documentation (or a separate dedicated script) as well. Otherwise LGTM. Cheers