diff options
| -rw-r--r-- | 0001-fix-name_from_url-removes-dot-git-ending.patch | 14 |
1 files changed, 0 insertions, 14 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 deleted file mode 100644 index 2bd68a5..0000000 --- a/0001-fix-name_from_url-removes-dot-git-ending.patch +++ /dev/null @@ -1,14 +0,0 @@ -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--; |