[17:04] <jose> jcastro: hey! just to confirm, office hours this Thu?
[17:40] <marcoceppi> jose: it's a holiday in the states today, I don't think jcastro is around
[17:45] <jose> oh, well
[17:45] <jose> marcoceppi: just to confirm, we're having office hours on Thu?
[17:45] <jose> wanna check my schedule to see if I can host
[20:29] <aisrael> jose: I see it on my calendar, from 4-5pm est
[20:33] <aisrael> jose: on Thursday
[22:32] <thomi> Hi - it seems juju-deployer adds ssh keys to ~/.ssh/known_hosts, which means that from time to time it sees a key mismatch when we tear down an old deployment, and happen to deploy to a new instance with the same IP address. Does that sound plausible?
[22:45] <thumper> yes
[22:46]  * thomi files a bug
[22:53] <thomi> thumper: https://bugs.launchpad.net/juju-deployer/+bug/1458693 I'll buy whoever fixes it a beer, if you're in the same city as me
[22:53] <mup> Bug #1458693: juju-deployer fills up ~/.ssh/known_hosts <juju-deployer:New> <https://launchpad.net/bugs/1458693>