| commit | 0faeada86dc0bf49420772b72d52ac7539439d43 | [log] [tgz] |
|---|---|---|
| author | Andrew Pickford <andrewp@nikhef.nl> | Wed Jun 07 13:56:59 2017 +0200 |
| committer | Andrew Pickford <andrewp@nikhef.nl> | Wed Jun 07 13:56:59 2017 +0200 |
| tree | 2483a07e4260f5849958cfae11915318719130df | |
| parent | 461bc694ead33b485170542ca271e654c40a1997 [diff] | |
| parent | 10d27f2ea269307b8c85a752400f4afa79d775cc [diff] |
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