Skip to content

Add Edit on GitHub button#1862

Closed
Gold856 wants to merge 2 commits intoPhotonVision:mainfrom
Gold856:add-edit-on-github-button
Closed

Add Edit on GitHub button#1862
Gold856 wants to merge 2 commits intoPhotonVision:mainfrom
Gold856:add-edit-on-github-button

Conversation

@Gold856
Copy link
Copy Markdown
Member

@Gold856 Gold856 commented Apr 8, 2025

Description

Adds the Edit on GitHub button back.
Closes #1466.

Meta

Merge checklist:

  • Pull Request title is short, imperative summary of proposed changes
  • The description documents the what and why
  • If this PR changes behavior or adds a feature, user documentation is updated
  • If this PR touches photon-serde, all messages have been regenerated and hashes have not changed unexpectedly
  • If this PR touches configuration, this is backwards compatible with settings back to v2024.3.1
  • If this PR addresses a bug, a regression test for it is added

@Gold856 Gold856 requested a review from a team as a code owner April 8, 2025 23:41
@Gold856 Gold856 marked this pull request as draft April 8, 2025 23:41
html_static_path = ["_static"]

html_context = {
"display_github": True, # Integrate GitHub
Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@Gold856 Gold856 force-pushed the add-edit-on-github-button branch from a155579 to aeb51d9 Compare April 8, 2025 23:49
@Gold856 Gold856 closed this Apr 9, 2025
@Gold856
Copy link
Copy Markdown
Member Author

Gold856 commented Apr 9, 2025

Replaced by #1863.

@Gold856 Gold856 deleted the add-edit-on-github-button branch April 9, 2025 17:35
@Gold856 Gold856 added the documentation Anything relating to https://docs.photonvision.org label Jul 12, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Anything relating to https://docs.photonvision.org

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Docs: Edit On Github button missing

2 participants