diff options
| author | Joao Moreno <joao.moreno@microsoft.com> | 2019-07-02 12:14:26 +0300 |
|---|---|---|
| committer | Joao Moreno <joao.moreno@microsoft.com> | 2019-07-02 12:14:31 +0300 |
| commit | f91bd1869c47bd574a50066e47f82ce7ef2c6ffc (patch) | |
| tree | 78b467bfdeb0deae1383bc2d11113ed142956d6f /build/azure-pipelines/distro-build.yml | |
| parent | 8af1b9fe1b0b10e5b19c8e6f174b6a99634e6144 (diff) | |
distro build: push release branches
Diffstat (limited to 'build/azure-pipelines/distro-build.yml')
| -rw-r--r-- | build/azure-pipelines/distro-build.yml | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/build/azure-pipelines/distro-build.yml b/build/azure-pipelines/distro-build.yml index 639456ad4ce..ab8a5e778c8 100644 --- a/build/azure-pipelines/distro-build.yml +++ b/build/azure-pipelines/distro-build.yml @@ -30,7 +30,13 @@ steps: git remote add distro "https://github.com/$VSCODE_MIXIN_REPO.git" git fetch distro - git push distro origin/master:refs/heads/master + + # Push master branch into master and oss/master + git push distro origin/master:refs/heads/master 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 + git merge $(node -p "require('./package.json').distro") displayName: Sync & Merge Distro
\ No newline at end of file |