docs: allow publishing to github pages to run even if there are no changes

natemcmaster · natemcmaster · commit 748b42dfd528 · 2020-03-29T15:01:53.000-07:00
diff --git a/docs/push.ps1 b/docs/push.ps1
@@ -27,7 +27,7 @@ try {
         $SourceCommit = $(git rev-parse HEAD)
         Pop-Location
     }
-    exec git commit -m "Generate documentation from $SourceCommit"
+    exec git commit --allow-empty -m "Generate documentation from $SourceCommit"
     exec git push --quiet origin gh-pages
 }
 finally {

Original file line number	Diff line number	Diff line change
`@@ -27,7 +27,7 @@ try {`
`27`	`27`	`$SourceCommit = $(git rev-parse HEAD)`
`28`	`28`	`Pop-Location`
`29`	`29`	`}`
`30`		`- exec git commit -m "Generate documentation from $SourceCommit"`
	`30`	`+ exec git commit --allow-empty -m "Generate documentation from $SourceCommit"`
`31`	`31`	`exec git push --quiet origin gh-pages`
`32`	`32`	`}`
`33`	`33`	`finally {`