* fix: normalize GitHub URLs ending in .git to not ending in .git
* Refactor `Data::get_repo_info`
Signed-off-by: Jiahao XU <Jiahao_XU@outlook.com>
* Fix `get_repo_info` for repo with `.git` suffix
Signed-off-by: Jiahao XU <Jiahao_XU@outlook.com>
* Add e2e-tests to cover it
Signed-off-by: Jiahao XU <Jiahao_XU@outlook.com>
* Always try geting the redirected url
This would help:
- redirect public gh repo `.git` to its canonical form
- redirect public gh repo, which has been recently renamed
- cases where redirection is needed to get the real repo
This commit make it fallbacks to the previou surl, if getting
the redirected url fail, in case the repository is private.
Signed-off-by: Jiahao XU <Jiahao_XU@outlook.com>
* Add more e2e-tests
Signed-off-by: Jiahao XU <Jiahao_XU@outlook.com>
* Optimize: Do not try redirect if gh_get_repo_info fail
Signed-off-by: Jiahao XU <Jiahao_XU@outlook.com>
* Minor refactor
Signed-off-by: Jiahao XU <Jiahao_XU@outlook.com>
---------
Signed-off-by: Jiahao XU <Jiahao_XU@outlook.com>
Co-authored-by: Jiahao XU <Jiahao_XU@outlook.com>
