Fernando Schauenburg 2ac9cc5a74 Use SSH default IdentityFile ... As I am in the process of migrating my key to the more secure ED25519, this setting was annoying for hosts that don't have RSA keys. Besides, I am using the defaults anyway, so we can just get rid of this configuration altogether.		2019-11-16 11:59:36 +00:00
..
files	Use SSH default IdentityFile	2019-11-16 11:59:36 +00:00
tasks	Add ssh role	2019-11-15 22:00:56 +00:00