Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Fix read-the-docs "Edit on Github" button #5464

Merged
merged 1 commit into from
Aug 9, 2023
Merged

Fix read-the-docs "Edit on Github" button #5464

merged 1 commit into from
Aug 9, 2023

Conversation

catch-21
Copy link
Contributor

@catch-21 catch-21 commented Aug 9, 2023

fix 404 when "Edit on Github" button

Pre-submit checklist:

  • Branch
    • Tests are provided (if possible)
    • Commit sequence broadly makes sense
    • Key commits have useful messages
    • Changelog fragments have been written (if appropriate)
    • Relevant tickets are mentioned in commit messages
    • Formatting, PNG optimization, etc. are updated
  • PR
    • (For external contributions) Corresponding issue exists and is linked in the description
    • Targeting master unless this is a cherry-pick backport
    • Self-reviewed the diff
    • Useful pull request description
    • Reviewer requested

@catch-21
Update conf.py
c2b9d54 
fix broken "Edit on Github" button
@bezirg bezirg added the No Changelog Required Add this to skip the Changelog Check label Aug 9, 2023
@bezirg bezirg enabled auto-merge (squash) August 9, 2023 08:17
@michaelpj michaelpj disabled auto-merge August 9, 2023 09:31
@michaelpj michaelpj merged commit 958ff1f into master Aug 9, 2023
4 of 5 checks passed
@michaelpj michaelpj deleted the jamesbro/fix-RTD-edit-button branch August 9, 2023 09:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@bezirg bezirg bezirg approved these changes

@michaelpj michaelpj Awaiting requested review from michaelpj

@zeme-iohk zeme-iohk Awaiting requested review from zeme-iohk

Assignees
No one assigned
Labels
No Changelog Required Add this to skip the Changelog Check
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@catch-21 @bezirg @michaelpj