diff options
| author |  Johannes Schindelin <johannes.schindelin@gmx.de> | 2020-02-27 13:23:13 +0000 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2020-02-27 09:58:43 -0800 |
| commit | 7f487ce062cb09f5e58ca0594396ef66a16934e2 (patch) | |
| tree | f1e27d478aa20f5f88cbf784347de31483d2624b /Documentation/git-merge-index.txt | |
| parent | ci: prevent `perforce` from being quarantined (diff) | |
| download | tgif-7f487ce062cb09f5e58ca0594396ef66a16934e2.tar.xz | |
Azure Pipeline: switch to the latest agent pools
It would seem that at least the `vs2015-win2012r2` pool (which we use
via its old name, `Hosted`) is about to be phased out. Let's switch
before that.
While at it, use the newer pool names as suggested at
https://docs.microsoft.com/en-us/azure/devops/pipelines/agents/hosted?view=azure-devops#use-a-microsoft-hosted-agent
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/git-merge-index.txt')
0 files changed, 0 insertions, 0 deletions