[docs] Add Github repo icon-link to topbar

[chrisjsewell]

Add a link to https://github.com/sphinx-doc/sphinx, via an icon on the right of the topbar

https://sphinx--12462.org.readthedocs.build/en/12462/

[chrisjsewell]

cc @timhoffm

[picnixz]

Don't we have this already with the RTD widget? do you want to duplicate it? Personally, I'd prefer having it in the footer rather at the top (it's a bit less intruisive)

[chrisjsewell]

I'd prefer having it in the footer rather at the top (it's a bit less intruisive)

I'm afraid I must vehemently disagree here;
the whole point is to make it prominent, and obvious to users how to navigate to the source repository.
I can point to a multitude of OSS based tools/libraries that use this convention in their documentation, in fact it is hard to find any that do not 😅

• https://react.dev/
• https://svelte.dev/
• https://astro.build/
• https://docs.solidjs.com/
• https://squidfunk.github.io/mkdocs-material/getting-started/
• https://pytorch.org/
• https://numpy.org/doc/stable/

[picnixz]

Ok, I'm in.

[chrisjsewell]

Ok, I'm in.

Thanks 😄

and BTW thanks for all the quick reviews, let me know if you have any PRs outstanding I should be looking at!

[timhoffm]

Thanks, this is an improvement. 👍 As a feedback, I've been looking for a GitHub link from inside the docs multiple times. It was something like "Contribute -> Contribute Code -> Find a link somewhere in a paragraph of text".

[picnixz]

and BTW thanks for all the quick reviews, let me know if you have any PRs outstanding I should be looking at!

No problem! the only PR that is still waiting for rewiew is #12219 but this is a huge one. If you have a bit of time, then I don't mind. Most of my ongoing PRs are in CPython currently.