4 ms·

Github account switching. A git account is not an idea that makes sense.

• embedding-shape 8mo ago
  It's actually about git account switching as far as I can tell, which does make sense, you can have multiple "git" users indeed. Maybe it's the wording that is wrong? Read "account" as "user" and it might make more sense :) # in ~/.gitconfig [includeIf "gitdir:/home/user/projects/embedding-shapes/"] path = /home/user/.gitconfig-embedding-shapes # in ~/.gitconfig-embedding-shapes [user] name = embedding-shapes email = embedding-shapes@proton.me [core] sshCommand = ssh -i /home/user/.ssh/id_embedding-shapes That's one of my git "accounts", currently I have four in total, one being my "real identity", other are pseudo-anonymous users.
  • sevensor 8mo ago
    Fair point. This makes much more sense when you make it about your git identity + ssh configuration.
  • synergy20 7mo ago
    why not have one global setting, then for each repo that wants something different, do a local setting to override global setting if needed?
• christoph-heiss 8mo ago
  Yeah. Unfortunately, just goes to show how many people think Git = Github.