Manage Multiple Git Identities with IncludeIf.gitdir | Hacker News Reader