Front end

if they're logged in to GitHub (as they probably are), this should be a SSH URL.