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