After adding the checkout (deploy) key for the project in CircleCI I don’t see any option of adding another one. Furthermore from what I’ve gathered on previous posts on this board CircleCI will have two keys, both pointing to github.com. CircleCI won’t know which SSH key to use for which repo and will try to use either the first one for both repos or the second one for both repos. Obviously, in both cases one of the repos can’t be accessed… Theoretically could be mitigated by modifying the .ssh/config file and using host aliases (see my link in the original post), but from what I’ve read this is not possible. Right?