Simple command to copy+paste to get the id of a github user to create their no-reply e-mail adress.