tree 25a23bd7d1c1a7a830ae3e63d87f988215aa7d53
parent 561c4d6bb28601fb5f2e1de10302a9d8a8505f79
author Dennis van Dok <dennisvd@nikhef.nl> 1496131647 +0200
committer Dennis van Dok <dennisvd@nikhef.nl> 1496131647 +0200

If a branch is missing from a repo, report both