Github.Repo.get_tags_and_times doesn't handle repos with no tags
Closed this issue · 0 comments
rudenoise commented
I'm using Github.Repo.get_tags_and_times in mirage-dashboard https://github.com/rudenoise/mirage-dashboard/blob/tags/src/get_releases.ml#L66
The function returns fine for repositories that have tags:
https://api.github.com/repos/mirage/mirage/tags
But fails for those without, as the endpoint returns 404:
https://api.github.com/rudenoise/mirage-dashboard/mirage/tags
Happy to provide more detail if I can.