Push to github

Author: Soumesh Banerjee

ci/push_to_github.sh

@@ -8,7 +8,5 @@ if [ -n "${CI_COMMIT_TAG}" ]; then
     echo "Pushing Tag: $CI_COMMIT_TAG"
     git push --force github "${CI_COMMIT_TAG}"
 else
-    echo "For now only tag can be pushed to Github as a release"
-    exit 1
-    # git push github "${CI_COMMIT_SHA}:refs/heads/${CI_COMMIT_REF_NAME}"
+    git push github "${CI_COMMIT_SHA}:refs/heads/${CI_COMMIT_REF_NAME}"
 fi