Programmer and researcher in compiler construction, formal methods, constructive mathematics, type theory, category theory, and intuitionistic logic. I am also passionate about software freedom, functional programming, deterministic software, type safety, and enthusiastically opposing framework-driven programming.
REPORTED RESOLVED FIXED
REPORTED RESOLVED WONT_FIX
It may be preferable for visual organization if hub.sr.ht, git.sr.ht, and hg.sr.ht had an option to pin up-to 3 repositories. Preference above all would be hub.sr.ht for projects with many repositories, where one specific git/hg source is considered the "main project".
Visual demarcation could be moving the repository to the top of the list, darkening the border around the listing, and adding a svg or unicode pin symbol.
Some RSS-style feeds such as https://export.arxiv.org/rss/math.CT requires special RDF parsing.