git

2022

• 2022-07-15 - Migrating from gitea to gitolite and cgit : A quest for simplicity

2021

• 2021-03-30 - Mirroring a repository to github : How to mirror a git repository to github

2018

• 2018-09-25 - Import commits from one git repo to another : How to take commits from one git repo and bring them into another
• 2018-03-05 - Rewrite a git commit history : How to rewrite a git commit history