Host * AddKeysToAgent yes VisualHostKey yes Host github.com User git Host gitea HostName git.thomasloven.com User git