Acutally push docs on build now

natemcmaster · natemcmaster · commit 6a3cdf282e12 · 2018-04-21T15:42:02.000-07:00
diff --git a/docs/push.ps1 b/docs/push.ps1
@@ -28,7 +28,7 @@ try {
         Pop-Location
     }
     exec git commit -m "Generate documentation from $SourceCommit"
-    exec git push --dry-run
+    exec git push origin gh-pages
 }
 finally {
     Pop-Location

Original file line number	Diff line number	Diff line change
`@@ -28,7 +28,7 @@ try {`
`28`	`28`	`Pop-Location`
`29`	`29`	`}`
`30`	`30`	`exec git commit -m "Generate documentation from $SourceCommit"`
`31`		`- exec git push --dry-run`
	`31`	`+ exec git push origin gh-pages`
`32`	`32`	`}`
`33`	`33`	`finally {`
`34`	`34`	`Pop-Location`