fixed deploy.sh
Because we checkout origin/master on the kunit-docs repository and this
is not a _local_ branch, git push complains that we are in a detached
HEAD state. Explicitly state the source and destination.
Change-Id: I00092d2f630213005b6fad178b38b2a855a0a7f4
Signed-off-by: Sadiya Kazi <sadiyakazi@google.com>
diff --git a/deploy.sh b/deploy.sh
index c182c3d..76193a3 100755
--- a/deploy.sh
+++ b/deploy.sh
@@ -34,4 +34,4 @@
[[ -n $no_commit ]] && exit 0
git add -A
git commit
-git push git@github.com:google/kunit-docs.git
+git push git@github.com:google/kunit-docs.git HEAD:master
