distro build: push release branches

This commit is contained in:
Joao Moreno 2019-07-02 11:14:26 +02:00
parent 8af1b9fe1b
commit f91bd1869c

View file

@ -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