Skip to content

docs: improve links back to GitHub#657

Merged
henryiii merged 1 commit intomainfrom
henryiii/docs/links
Nov 20, 2025
Merged

docs: improve links back to GitHub#657
henryiii merged 1 commit intomainfrom
henryiii/docs/links

Conversation

@henryiii
Copy link
Copy Markdown
Contributor

Adding links back to GitHub in docs.

Signed-off-by: Henry Schreiner <henryfs@princeton.edu>
@henryiii henryiii merged commit fc5e84d into main Nov 20, 2025
3 of 26 checks passed
@henryiii henryiii deleted the henryiii/docs/links branch November 20, 2025 15:02
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.

1 participant