Give the user a dropdown for the branches/tags in a man.sr.ht git repo

In my project, we have different versions of the documentation for the git head and the latest stable release. Users currently must clone our repo and checkout the develop branch to read anything that isnt in master.

Assigned to
1 year, 11 months ago
1 year, 7 months ago
No labels applied.

~anjan 1 year, 10 months ago

I have documented my workaround here: https://momi.ca/posts/2021-10-29-multipleSourcehutMan.html

~proycon 1 year, 7 months ago

This is indeed a rather cumbersome workaround. I think ideally the repo owner should be able to select on man.sr.ht which git refs (i.e. branches or tags) he/she wants to render, and which is the default. The user should be able to switch between the various versions of the documentation , and optionally a clear notice should be shown if the user is not on the latest version.

I think https://readthedocs.org and https://docs.rs/ serve as good examples for the desired behaviour.

Register here or Log in to comment, or comment via email.