Skip to content

Add (more prominent) GitHub link to the docs#1044

Merged
pfebrer merged 2 commits intomainfrom
docs-gh-link
Mar 16, 2026
Merged

Add (more prominent) GitHub link to the docs#1044
pfebrer merged 2 commits intomainfrom
docs-gh-link

Conversation

@frostedoyster
Copy link
Copy Markdown
Collaborator

@frostedoyster frostedoyster commented Feb 13, 2026

As in the title. We already have a link in the footer, but it's not very visible


📚 Documentation preview 📚: https://metatrain--1044.org.readthedocs.build/en/1044/

@frostedoyster frostedoyster force-pushed the docs-gh-link branch 2 times, most recently from 614adbb to 97adce1 Compare February 13, 2026 16:04
@Luthaf
Copy link
Copy Markdown
Member

Luthaf commented Feb 17, 2026

this looks a bit weird above the side navigation, how about putting it in the proper navigation menu, i.e. after "Developer Documentation" have a "GitHub" or "Sources on GitHub" or similar?

Screenshot

@pfebrer
Copy link
Copy Markdown
Contributor

pfebrer commented Feb 18, 2026

Personally I like it as it is (i.e. as implemented in the PR)

@PicoCentauri
Copy link
Copy Markdown
Contributor

At first I was thinking why is this link necessary besides the footer but maybe it helps to guide more people to github.

If we leave this we should remove the footer.

@pfebrer
Copy link
Copy Markdown
Contributor

pfebrer commented Mar 16, 2026

cscs-ci run

@pfebrer pfebrer enabled auto-merge (squash) March 16, 2026 09:40
@pfebrer pfebrer merged commit 576543b into main Mar 16, 2026
19 checks passed
@pfebrer pfebrer deleted the docs-gh-link branch March 16, 2026 10:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants