I also don't like the `includeIf`, but I ended up with a completely different way of doing things. I just use different accounts depending on the context, usua

I also don't like the `includeIf`, but I ended up with a completely different way of doing things. I just use different accounts depending on the context, usually by either SSH or by starting a Docker container with all the environment already configured. At least for me, using different identities[1] when I want to use different identities[2], seems less brittle and less likely for my future self to accidentally forget to do something (e.g. change a config when I reinstall an OS). [1]: OS user, directly (SSH) or indirectly (container). [2]: Email address, username, etc.