diff options
author | Joao Moreno <joao.moreno@microsoft.com> | 2019-07-25 11:45:22 +0300 |
---|---|---|
committer | Joao Moreno <joao.moreno@microsoft.com> | 2019-07-25 11:45:22 +0300 |
commit | 18da64f949be4d291de23940b45a9ee33beb5fa1 (patch) | |
tree | bdcbf94de1fe599e3682294cec5fe0ce7de9dfb1 /build/azure-pipelines | |
parent | c8c23e39639d336cdc542d6193e98f64faee467a (diff) |
stop pushing master
Diffstat (limited to 'build/azure-pipelines')
-rw-r--r-- | build/azure-pipelines/distro-build.yml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/build/azure-pipelines/distro-build.yml b/build/azure-pipelines/distro-build.yml index 4057894f025..62ee67ad1c6 100644 --- a/build/azure-pipelines/distro-build.yml +++ b/build/azure-pipelines/distro-build.yml @@ -31,12 +31,12 @@ steps: git remote add distro "https://github.com/$VSCODE_MIXIN_REPO.git" git fetch distro - # Push master branch into master and oss/master - git push distro origin/master:refs/heads/master origin/master:refs/heads/oss/master + # Push master branch into oss/master + git push distro origin/master:refs/heads/oss/master # Push every release branch into oss/release git for-each-ref --format="%(refname:short)" refs/remotes/origin/release/* | sed 's/^origin\/\(.*\)$/\0:refs\/heads\/oss\/\1/' | xargs git push distro git merge $(node -p "require('./package.json').distro") - displayName: Sync & Merge Distro
\ No newline at end of file + displayName: Sync & Merge Distro |