Page 7 of repository search results is consistently returning a 500 error

[jwodder]

HTTP requests to https://gin.g-node.org/api/v1/repos/search?page=7 are currently consistently failing with an HTTP 500 error ("Internal Server Error"). Requests for both the previous (https://gin.g-node.org/api/v1/repos/search?page=6) and next (https://gin.g-node.org/api/v1/repos/search?page=8) page are successful, though. All requests were tried both with and without an API token.

[twachtler]

One of the repos that would be listed on page 7 causes the API to fail. The reason for this is unclear, the repo looks technically sound. It might be a bug in the Gogs API, which is mentioned to be in an "early stage".