Host github
  HostName github.com
  User git
  AddKeysToAgent yes
  UseKeychain yes
  IdentityFile ~/.ssh/id_github_ed25519
  IdentitiesOnly yes
Host tangled
  HostName tangled.org
  User git
  IdentityFile ~/.ssh/id_tangled_ed25519
  AddKeysToAgent yes
  UseKeychain yes
  IdentitiesOnly yes
  AddressFamily inet