No need to remember that extra hosts used to be in the manifest or add specific errors for it/just nix all the extrahosts stuff
Closed, see here didericis/bot-bottle#151 (comment) and here didericis/bot-bottle#152
Actually this architecture will break a bunch of assumptions we were making in order to route everything through git-gate... maybe we should just back out of this entirely. The only reason to do…
PRD looks mostly good, but think we can also strip out ExtraHosts from the git config, and we should add a section under ssh for known host keys. After this the only thing under git remotes…
No, think it should be like this:
git:
remotes:
gitea.dideric.is:
Name: bot-bottle
Upstream: ssh://git@gitea.dideric.is:30009/didericis/bot-bottle.git
ssh:
…
Ok, actually I think this direction is wrong... I think we just want to be able to specify an ssh config to give the agent. Let's update the issue to reflect that.
Think that makes sense. We should also use this as an opportunity to introduce a contrib structure for scoping things like specific deploy key provisioners, specific agent provisioners, etc.