diff options
author | Johannes Schindelin <johannes.schindelin@gmx.de> | 2020-04-11 00:18:11 +0700 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2020-04-10 10:30:40 -0700 |
commit | 6081d3898fe5e33e739cc0771f6df102b30b1db6 (patch) | |
tree | 9c30090172bede1cfa96e6c4b509d05ac7ec400f /ci/git-problem-matcher.json | |
parent | README: add a build badge for the GitHub Actions runs (diff) | |
download | tgif-6081d3898fe5e33e739cc0771f6df102b30b1db6.tar.xz |
ci: retire the Azure Pipelines definition
We have GitHub Actions now. Running the same builds and tests in Azure
Pipelines would be redundant, and a waste of energy.
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Đoàn Trần Công Danh <congdanhqx@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'ci/git-problem-matcher.json')
0 files changed, 0 insertions, 0 deletions