tree 2483a07e4260f5849958cfae11915318719130df
parent 461bc694ead33b485170542ca271e654c40a1997
parent 10d27f2ea269307b8c85a752400f4afa79d775cc
author Andrew Pickford <andrewp@nikhef.nl> 1496836619 +0200
committer Andrew Pickford <andrewp@nikhef.nl> 1496836619 +0200

Merge branch 'reportmissingbranch' into 'master'

If a branch is missing from a repo, report both

A missing branch in a yaml_git repo produces an unhelpful error message. This commit adds a check and reports the branch and repo names.

There may be a better way to approach checks in general...

See merge request !2