ISIS-1335: improving error handling in github-pr.sh when the repo to …

…merge from cannot be found
apache · Apr 10, 2016 · 7f7520a · 7f7520a
1 parent 0d40572
commit 7f7520a
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/github-pr.sh b/github-pr.sh
@@ -103,8 +103,13 @@ echo "username         : $username"
 echo "repo_full_name   : $repo_full_name"
 echo "repo_clone_url   : $repo_clone_url"
 echo "branch_name_fork : $branch_name_fork"
-
 echo ""
+
+if [ "x$repo_full_name" = "xnull" ]; then
+    die "Could not determine the repo to merge from"
+fi
+
+
 echo "merging into: $branch_name_temp"
 echo ""