git-repo-merge.sh: Abort when repos have no common commits.
authorGoetz.Pfeiffer@helmholtz-berlin.de
local dateMon, 30 May 2022 17:32:23
dateMon, 30 May 2022 15:32:23
hash15ef262ca4067247bb68e1fee23ca48a60d380bb
1 file(s) changed:
bin/git-repo-merge.sh +5 -0