diff options
author | Joao Moreno <joao.moreno@microsoft.com> | 2019-04-11 12:12:07 +0300 |
---|---|---|
committer | Joao Moreno <joao.moreno@microsoft.com> | 2019-04-11 12:12:19 +0300 |
commit | f5061eaea965f14d9c500eb69fa210644556107c (patch) | |
tree | 2dbed4d09734f319a6c0a2e9115ec4d00238d69b /build/azure-pipelines/distro-build.yml | |
parent | b56ec0d8e7500579715b1d4fb77849157eb79a23 (diff) |
build
Diffstat (limited to 'build/azure-pipelines/distro-build.yml')
-rw-r--r-- | build/azure-pipelines/distro-build.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build/azure-pipelines/distro-build.yml b/build/azure-pipelines/distro-build.yml index 7bd864f3048..028dfdbeef0 100644 --- a/build/azure-pipelines/distro-build.yml +++ b/build/azure-pipelines/distro-build.yml @@ -24,7 +24,7 @@ steps: git remote add distro "https://github.com/$VSCODE_MIXIN_REPO.git" git fetch distro - git push distro origin/master:distro/master + git push distro origin/refs/heads/master:distro/refs/heads/master git merge $(node -p "require('./package.json').distro") displayName: Sync & Merge Distro
\ No newline at end of file |