Added a method to retrieve the repository name via page elements, while also retaining the option to retrieve it from the URL. This ensures that even if the names obtained by both methods differ in case, the result parsed from page elements takes priority. This approach also allows for fallback to URL-based retrieval in case of GitHub page structure changes.
wangyantong2000
commented
2 weeks ago
Brief Information
This pull request is in the type of (more info about types):
Related issues (all available keywords):
Details
Added a method to retrieve the repository name via page elements, while also retaining the option to retrieve it from the URL. This ensures that even if the names obtained by both methods differ in case, the result parsed from page elements takes priority. This approach also allows for fallback to URL-based retrieval in case of GitHub page structure changes.
Checklist
Others