You're Robin and you want to commit as Batman.
[user]
email = robin@gotham.com
name = robin
[core]
sshCommand = ssh -i ~/.ssh/robin_pk
[includeIf "gitdir:/home/user/BatmanSrc/**"]
path = ~/.gitconfig.batman[user]
email = batman@gotham.com
name = batman
[core]
sshCommand = ssh -i ~/.ssh/batman_pkAny git commands inside ~/BatmanSrc/ will make it look like you're Batman.
https://git-scm.com/docs/git-config#Documentation/git-config.txt-codegitdircode