[archseer]

git has a similar feature built in: https://deepsource.io/blog/managing-different-git-profiles/

[andreineculau]

!!! which not only covers the identity scenario but the whole configuration of git, which can be indeed very different from repo to repo, from company to company