You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
# Indeed there are no changes in that area. So merge locally to try to appease GitHub.
52
+
git checkout -b auto/libtemplateUpdate
53
+
git config user.name "Andrew Arnott"
54
+
git config user.email "andrewarnott@live.com"
55
+
git merge FETCH_HEAD
56
+
if ($LASTEXITCODE -ne 0) {
57
+
Write-Host "Merge conflicts prevent creating the pull request. Please run tools/MergeFrom-Template.ps1 locally and push the result as a pull request."
58
+
exit 2
59
+
}
60
+
61
+
git -c http.extraheader="AUTHORIZATION: bearer $env:GH_TOKEN" push origin -u HEAD
62
+
} else {
63
+
Write-Host "Changes to github workflows are included in this update. Please run tools/MergeFrom-Template.ps1 locally and push the result as a pull request."
0 commit comments