diff options
author | Joao Moreno <joao.moreno@microsoft.com> | 2019-04-11 12:01:16 +0300 |
---|---|---|
committer | Joao Moreno <joao.moreno@microsoft.com> | 2019-04-11 12:01:16 +0300 |
commit | f55aaabd5712aff99a14001c37c0f5b841c55868 (patch) | |
tree | 2c0d4adc9b202ad96c5ed1082d3feac040f8a9cb | |
parent | 5fa1a4996230b6dbca64507d7056c1d7451f651d (diff) |
automatically sync distro master
-rw-r--r-- | build/azure-pipelines/distro-build.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/build/azure-pipelines/distro-build.yml b/build/azure-pipelines/distro-build.yml index b8ef20162b6..795b7e4780b 100644 --- a/build/azure-pipelines/distro-build.yml +++ b/build/azure-pipelines/distro-build.yml @@ -24,6 +24,7 @@ steps: git remote add distro "https://github.com/$VSCODE_MIXIN_REPO.git" git fetch distro + git push distro master:distro/master git merge $(node -p "require('./package.json').distro") displayName: Merge Distro
\ No newline at end of file |