Category: git Mar 8 2024 How HEAD works in git Nov 23 2023 git branches: intuition & reality Nov 10 2023 How git cherry-pick and revert use 3-way merge Nov 1 2023 Confusing git terminology Oct 20 2023 Some miscellaneous git facts