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

This commit is contained in:
Pietro Albini 2019-08-03 18:15:01 +02:00
parent a457433456
commit 6e3c4c3b8e
No known key found for this signature in database
GPG Key ID: 3E06ABE80BAAF19C
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:
#