developer-manual: Add git commands that should result in a merge-free history
authorFabian Keil <fk@fabiankeil.de>
Tue, 15 Dec 2020 04:37:04 +0000 (05:37 +0100)
committerFabian Keil <fk@fabiankeil.de>
Tue, 15 Dec 2020 04:45:57 +0000 (05:45 +0100)
commitc79d5a23e325b6408801445794b8ca5885105e65
treed5bdd1ee7f1f75a022b83ce309125779f5ffaa25
parent046e85e2f17f1126b537ece26d1cf5b78c7de2dd
developer-manual: Add git commands that should result in a merge-free history
doc/source/developer-manual.sgml