Mark Dominus (陶敏修)
mjd@plover.com
I have another blog that doesn't suck.
Archive:
| 2023 | JF |
| 2022: | JFMAMJ |
| JASOND | |
| 2021: | JFM |
| 2020: | JFMAMJ |
| JASOND | |
| 2019: | JFMAMJ |
| JASOND | |
| 2018: | JFMAMJ |
| JASOND | |
| 2017: | ND |
Comments disabled
git-commit-tree won't create a merge commit where two of the parents
are identical.
% echo Planarian power | git commit-tree HEAD^{tree} -p HEAD -p HEAD
error: duplicate parent 3627118bf5d5e1af75a10f640c1aee9c397d257e ignored
9f41d9f782ff9800558f8317840d0dab3ee961cc
% git log -1 --pretty=%p 9f41d9f782ff9800558f8317840d0dab3ee961cc
3627118
Darn it, Git, I wanted to shoot my foot off!