3 years ago · 0f71117bc3
parent d4ddc9d4fd
commit 0f71117bc3
1 changed files with 1 additions and 1 deletions
--- a/github_api.sh
+++ b/github_api.sh
@ -132,7 +132,7 @@ url_path="${url_path##/}"

 # for convenience of straight copying and pasting out of documentation pages

-repo=$(git_repo | sed 's/.*\///')
+repo=$(git_repo | sed 's/.*\///' || :)

 if [ -n "$user" ]; then
    url_path="${url_path/:owner/$user}"