diff options
-rwxr-xr-x | scripts/create-pull-request | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/scripts/create-pull-request b/scripts/create-pull-request index 97ed874e7f..bc897468ef 100755 --- a/scripts/create-pull-request +++ b/scripts/create-pull-request | |||
@@ -125,6 +125,10 @@ if [ -z "$BRANCH" ]; then | |||
125 | echo "NOTE: Assuming remote branch '$BRANCH', use -b to override." | 125 | echo "NOTE: Assuming remote branch '$BRANCH', use -b to override." |
126 | fi | 126 | fi |
127 | 127 | ||
128 | if [ "$COMMIT_ID" == "HEAD" ]; then | ||
129 | COMMIT_ID="$BRANCH" | ||
130 | fi | ||
131 | |||
128 | if [ -z "$REMOTE_URL" ]; then | 132 | if [ -z "$REMOTE_URL" ]; then |
129 | echo "ERROR: Missing parameter -u, no git remote!" | 133 | echo "ERROR: Missing parameter -u, no git remote!" |
130 | usage | 134 | usage |