push: support pushing HEAD to real branch name

diff --git a/git-rebase.sh b/git-rebase.sh
index c059749bbd5bc1e5bf4103c09b4935c46c965431..df5fd65d56bde3ed046c9ed40e62e8a17ede2e8e 100755 (executable)
--- a/git-rebase.sh
+++ b/git-rebase.sh
@@ -29,6 +29,7 @@ Example:       git-rebase master~1 topic
 '
 
 SUBDIRECTORY_OK=Yes
+OPTIONS_SPEC=
 . git-sh-setup
 set_reflog_action rebase
 require_work_tree