ci: add a problem matcher for GitHub Actions
[git] / ci / git-problem-matcher.json
2020-04-10  Johannes Schindelinci: add a problem matcher for GitHub Actions