I know, there are multiple threads about this kind of issue already, but all of them are closed and there’s no option of asking follow up questions.
So, the situation is like this: to build our application we need to access a second repository located on the same host as the project repo itself (GitHub). Now with GitHub we can’t use the same deploy keys for multiple repos. On Bitbucket this works, but alas, we’re on GitHub. Machine users are out of question as some organisation rules don’t allow us to create machine users. For the same reasons we also should not use user keys.
I was looking at something like this: https://gist.github.com/jamesmcfadden/d379e04e7ae2861414886af189ec59e5, (using host aliases via ~/.ssh/config) but it seems like this won’t work with CircleCI. Any ideas on how to solve this?