Final fix for exploration merge (#7250)

* fix exploration merge

* use pool

* fix exploration

* add login
This commit is contained in:
Anthony Dresser
2019-09-17 16:25:17 -07:00
committed by GitHub
parent dca21bd3be
commit 6af544afde

View File

@@ -4,8 +4,9 @@ trigger:
pr: none
jobs:
- job: Exploration Merge
container: ubuntu:16.04
- job: ExplorationMerge
pool:
vmImage: Ubuntu-16.04
steps:
- task: NodeTool@0
inputs:
@@ -14,6 +15,12 @@ jobs:
- script: |
set -e
cat << EOF > ~/.netrc
machine mssqltools.visualstudio.com
login azuredatastudio
password $(DEVOPS_PASSWORD)
EOF
git config user.email "andresse@microsoft.com"
git config user.name "AzureDataStudio"
@@ -27,3 +34,6 @@ jobs:
git push explore HEAD:master
displayName: Sync & Merge Explore
env:
ADS_EXPLORE_REPO: $(ADS_EXPLORE_REPO)
DEVOPS_PASSWORD: $(DEVOPS_PASSWORD)