Things about changing Github username

First, the official GitHub doc on changing username says you can change your GitHub username at any time. It also mentions how to change and what happens after you change. But there are still some things to consider afterwards. The author of things to do after username changes has done these things many times, therefore this article lists the subsequent things to do to make the transaction as smoothly as possible.

Key points on what happens after username changes

The good news are the Web links to your existing repositories will continue to work, they will automatically redirect. However the links to your previous profile page does not.

Your old username becomes available for anyone else to claim. That also means you may can not change your username back to the old one for it being used by someone else.

You’d better update all existing remote repository URLs after changing username. Yes, they continue to work. But if the new owner of your old username creates a repository with the same name as your repository, that will override the redirect entry and your redirect will stop working.

You need to change your Github page repository <username>.github.io with your new username. Then after a while your pages site https://<newusername>.github.io will be available.

The rest things you need to do are updating references related to your old username like github.com/username, username.github.io, etc.

August 6, 2020 dev

A universal document converter -- Pandoc

Pandoc is a powerful document conversion tool, it is called swiss-army knife in this field. It understands many document formats, like markdown, ms word, pdf, html, etc. And it is free, you may install it as a command tool or try it online.

cmd dev

Tools to manage code snippets

2 apps to manage your code snippets in local machine: massCode and SnippetStore. Both tools are open source apps with different features. You can choose one according your needs.

dev

A tool to learn Git

LearnGitBranching is an online tool that provides an visual and interactive way to learn Git. It is a pure clientside application written in JavaScript, only an HTML page with some JS and CSS, there's no AJAX requests. Just open it in a browser and you are ready to use it. It offers various levels for you to challenge. See more on its GitHub repository.

dev git