Connect personal GitHub account to Mjolnir

Created by Bent Petersen, Modified on Thu, 16 May, 2024 at 10:58 AM by Bent Petersen

You can connect your personal GitHub account to Mjolnir, by generating an SSH key


What is an SSH key? In short, it's a secure way of authenticating your git commits. 

In GitHub's own words: 


"With SSH keys, you can connect to GitHub without supplying your username and personal access token at each visit. You can also use an SSH key to sign commits."


In general, follow the instructions on GitHub in this order: 


  1. Create SSH keyhttps://docs.github.com/en/authentication/connecting-to-github-with-ssh/generating-a-new-ssh-key-and-adding-it-to-the-ssh-agent?platform=linux

  2. Add SSH key to GitHub account: https://docs.github.com/en/authentication/connecting-to-github-with-ssh/adding-a-new-ssh-key-to-your-github-account?platform=linux

  3. Test connectionhttps://docs.github.com/en/authentication/connecting-to-github-with-ssh/testing-your-ssh-connection
    1. Troubleshooting: Read the printouts after every operation VERY CAREFULLY. If you find errors, please follow the instructions to solve the problem on the same page.

  4. Configure your user + email associated with your GitHub account


git config --global user.name "Your Name"
git config --global user.email you@example.com

If you don't do this, the commit author will default to your KU-ID, as seen in the picture below:


If you accidentally made a commit, no worries – this can be reversed. Configure your username and email, and immediately follow with this command
git commit --amend --reset-author


Thank you Prince Ravi Leow for providing this short guide.


 


Was this article helpful?

That’s Great!

Thank you for your feedback

Sorry! We couldn't be helpful

Thank you for your feedback

Let us know how can we improve this article!

Select at least one of the reasons
CAPTCHA verification is required.

Feedback sent

We appreciate your effort and will try to fix the article