check / check (push) Canceled after 0s
ssh to now gives ssh -o IdentitiesOnly=no before the host, next to -o IdentityAgent. With IdentitiesOnly yes in the user's ssh configuration, ssh listed the agent's key but never offered it, and the login failed with Permission denied. An option on the command line wins over the configuration, and the tool's agent holds only the derived key, so turning the option off adds no other key. A test against the stand-in ssh requires the option before the host, and the README's ssh to section names both options. Judgement call: a user's own -o IdentitiesOnly=yes after the host is now overridden. Model: opus-5-5 Co-authored-by: clawbot <sneak+clawbot@sneak.cloud>