On Wednesday, 10 January 2018 at 08:50:37 UTC, Bastiaan Veelo
I don't know if I am being paranoid but it's been said that
GitHub tokens give access to all repositories and just pasting
an unencrypted token in some web interface is a security risk.
For a howto I figured the safer route is better.
For clarity: following the howto  you do the encryption
locally and limit access to the repository in question.