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 <>
diff --git a/ b/
index c182c3d..76193a3 100755
--- a/
+++ b/
@@ -34,4 +34,4 @@
 [[ -n $no_commit ]] && exit 0
 git add -A
 git commit
-git push
+git push HEAD:master