Skip to content

Commit

Permalink
Auto merge of #63242 - pietroalbini:move-azure-pipelines, r=Mark-Simu…
Browse files Browse the repository at this point in the history
…lacrum

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
  • Loading branch information
bors committed Aug 3, 2019
2 parents a457433 + 6e3c4c3 commit 452087b
Show file tree
Hide file tree
Showing 9 changed files with 2 additions and 1 deletion.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
3 changes: 2 additions & 1 deletion src/ci/docker/x86_64-gnu-tools/repo.sh
Original file line number Diff line number Diff line change
Expand Up @@ -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:
#
Expand Down

0 comments on commit 452087b

Please sign in to comment.