Docs build tracks latest docs but shows old version about dgp HOT 5 CLOSED

BTW, @ryo-takahashi-1206 , @ykkawana-woven , this might be a good first issue if you have time and want to learn about how some things like docs are built in DGP.

from dgp.

@tk-woven
Thank you.
TBH, in dgp.git, I haven't done a lot except working with .proto so far.
I also think this minor bug fix is a good starting point to share maintainers' chores with Arene AI members.
I will post something within a few days 🙇

from dgp.

Thanks; no worries, and no rush :) This is not the highest priority, but it is a bug we should fix eventually. I'm not a master of DGP either, but let me know if you have any questions!

from dgp.

Either automate part of the release process to bump version numbers in docs before building them,
for example as part of a GitHub Actions workflow, or do this manually around the time of a version release.

I feel like working on the former because:

• currently we push the doc from the latest of master.
• in this sense, I personally feel weird if we label the doc with some tag

Therefore, I'm now planning to embed git describe --tags --match 'v[0-9]*.[0-9]*' (e.g. v1.4-2-g7da558d) into the html.
Please let me know if someone has another opinion

Of course, it's ideal if we can fold all the past tags in Sphinx, though.
Please let me try this next time :)

from dgp.

Sounds great to me! Thanks :)

from dgp.