On Tue, Mar 6, 2018 at 11:24 PM, Luca De Feo <de...@lix.polytechnique.fr> wrote:
>> No problem. And this was a mistake *I* made. This is a side-effect I
>> did not consider and might want to think more about how to prevent...
> GitHub forbids using an ssh key twice. It seems the only reasonable thing to 
> do.

Yes, I'm adding that restriction to the SSH keys plugin for the next updated.

You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.

Reply via email to