diff options
author | Daniel Narvaez <dwnarvaez@gmail.com> | 2013-05-24 19:42:47 (GMT) |
---|---|---|
committer | Daniel Narvaez <dwnarvaez@gmail.com> | 2013-05-24 19:42:47 (GMT) |
commit | 17a6c4210560285445e4de539214bf2eb6d5c513 (patch) | |
tree | 9a6abece73d06e8ffb188e3980e5a3e9193af237 | |
parent | 4a7956aa48fd0a51369df1f372c052cbb9bcaeab (diff) |
Handle https github urls
-rw-r--r-- | repos.py | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -20,6 +20,10 @@ def get_by_url(url): if repo.url == url: return repo + if url.startswith("git://github.com"): + if repo.url == url.replace("git://", "https://"): + return repo + return None |