git-repo-merge.sh: Combines patches of two git repositories with a new branch.
authorGoetz.Pfeiffer@helmholtz-berlin.de
local dateSat, 28 May 2022 11:59:16
dateSat, 28 May 2022 09:59:16
hashc2cd974ad72585c0f440a8705f85070363b1a2cf
3 file(s) changed:
Makefile +1 -0
bin/git-repo-merge.sh [added]
doc/txt/CONTENTS.rst +3 -0