Skip to content

Add link to the GitHub repository to the navigation sidebar#213

Merged
marty-johnson59 merged 1 commit intomainfrom
github_repo_link
Nov 3, 2025
Merged

Add link to the GitHub repository to the navigation sidebar#213
marty-johnson59 merged 1 commit intomainfrom
github_repo_link

Conversation

@SaschaWillems
Copy link
Copy Markdown
Collaborator

This PR adds a link to the GitHub repository to the left side navigation. That should make it easier for people to find the actual code for the tutorial.

@SaschaWillems SaschaWillems added the documentation Improvements or additions to documentation label Oct 26, 2025
@marty-johnson59 marty-johnson59 merged commit f6d84ec into main Nov 3, 2025
5 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants