to pull from github and push to the project repo in azure devops
the pull is for free as the pipeline is triggered
the push should just be no more than few lines.
please remember as well to pull/push tags
and branches... (or should just be only master?)
there is another one that should delete the merged branches
right, but this one is not triggered as not part of the "build"
so it would be potentially in a dirty state with delete branch still present on azure.
Those actually would be cleaned on the master CI, so as a post PR merge trigger, it would pull/push master branch and synch the remaining branches/tags.
(it might not always work, as are 2 different events and the synch could be triggered before the branch of the github PR is being deleted).
Raffaello
commented
4 years ago
it should be possible creating a side pipeline
to pull from github and push to the project repo in azure devops
the pull is for free as the pipeline is triggered the push should just be no more than few lines.
please remember as well to pull/push tags and branches... (or should just be only master?)
there is another one that should delete the merged branches right, but this one is not triggered as not part of the "build" so it would be potentially in a dirty state with delete branch still present on azure. Those actually would be cleaned on the master CI, so as a post PR merge trigger, it would pull/push master branch and synch the remaining branches/tags. (it might not always work, as are 2 different events and the synch could be triggered before the branch of the github PR is being deleted).
to be triggered always
the repo there should be just read only