2 ms·

Yeah, I've used the github ssh key thing before, but never heard of key leases - will take a look. Thx!