Auto merge of #63242 - pietroalbini:move-azure-pipelines, r=Mark-Simulacrum

ci: move .azure-pipelines to src/ci/azure-pipelines

As discussed in the last infra meeting this PR moves the Azure Pipelines configuration to `src/ci/azure-pipelines`, to clean up the root directory.

r? @Mark-Simulacrum
This commit is contained in:
bors 2019-08-03 16:23:31 +00:00
commit 452087b4bf
9 changed files with 2 additions and 1 deletions

View File

@ -5,7 +5,8 @@
#
# The function relies on a GitHub bot user, which should have a Personal access
# token defined in the environment variable $TOOLSTATE_REPO_ACCESS_TOKEN. If for
# some reason you need to change the token, please update `.azure-pipelines/*`.
# some reason you need to change the token, please update the Azure Pipelines
# variable group.
#
# 1. Generate a new Personal access token:
#