Hacker News Reader

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

!!! 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

Reply on news.ycombinator.com