diff options
Diffstat (limited to '0001-fix-name_from_url-removes-dot-git-ending.patch')
| -rw-r--r-- | 0001-fix-name_from_url-removes-dot-git-ending.patch | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/0001-fix-name_from_url-removes-dot-git-ending.patch b/0001-fix-name_from_url-removes-dot-git-ending.patch new file mode 100644 index 0000000..2bd68a5 --- /dev/null +++ b/0001-fix-name_from_url-removes-dot-git-ending.patch @@ -0,0 +1,14 @@ +diff --git a/src/name_from_url.c b/src/name_from_url.c +index 67995fe..6b26560 100644 +--- a/src/name_from_url.c ++++ b/src/name_from_url.c +@@ -32,6 +32,9 @@ char* name_from_url(const char *url) { + while (end > after_git && *(end-1) == '/') { + end--; + } ++ if (strncmp(end-4, ".git", 4) == 0) { ++ end -= 4; ++ } + const char *last_slash = end; + while (last_slash > after_git && *(last_slash-1) != '/') { + last_slash--; |
