Commit 9b5a8c2
committed
git-synchronizer: disallow blowing away all the branches
In case a server died (such as pacific.mpi-cbg.de) and the IP is changed
for a name and a new repository is set up, that new repository should
not mean that all the branches should be deleted (just because there was
a previous record of branches and now the remote repository is empty).
Signed-off-by: Johannes Schindelin <[email protected]>1 parent c603422 commit 9b5a8c2
1 file changed
Lines changed: 1 addition & 0 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
28 | 28 | | |
29 | 29 | | |
30 | 30 | | |
| 31 | + | |
31 | 32 | | |
32 | 33 | | |
33 | 34 | | |
| |||
0 commit comments