feat: add "Report an issue" button to docs pages#2906
Merged
juliusv merged 1 commit intoprometheus:mainfrom Mar 19, 2026
Merged
feat: add "Report an issue" button to docs pages#2906juliusv merged 1 commit intoprometheus:mainfrom
juliusv merged 1 commit intoprometheus:mainfrom
Conversation
jan--f
force-pushed
the
feat/report-issue-button
branch
from
125630b to
48cd83f
Compare
Contributor
Author
|
Hmm this doesn't look great. Maybe better next to each other.. |
Adds a "Report an issue" button next to the existing "Edit this page" button on all documentation pages. The button opens a pre-filled GitHub issue in the same repo as the edit button (prometheus/docs for local docs, the upstream repo for repo-docs), with the page title and URL pre-populated. Closes prometheus#378 Co-Authored-By: Claude Sonnet 4.6 (1M context) <noreply@anthropic.com> Signed-off-by: Jan Fajerski <jfajersk@redhat.com>
jan--f
force-pushed
the
feat/report-issue-button
branch
from
48cd83f to
a0f8360
Compare
Contributor
Author
This version looks better to me. |
Member
|
Looks good, thanks :) |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
3 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Adds a "Report an issue" button next to the existing "Edit this page" button on all documentation pages. The button opens a pre-filled GitHub issue in the same repo as the edit button (prometheus/docs for local docs, the upstream repo for repo-docs), with the page title and URL pre-populated.
Closes #378