-
-
Notifications
You must be signed in to change notification settings - Fork 189
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.
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
support arbitrary source URLs, closes #87 #88
base: master
Are you sure you want to change the base?
Conversation
... ping? |
This allows the user to specify a different repository, possibly outside of GitHub to link the "show source" to. Closes: sphinx-doc#87
ac9adc3
to
2defd13
Compare
added docs and changelog entries for this - anything missing? |
Needs to be rebased. |
What are the odds of this being merged if I go through that effort? That PR has been idle for two years without feedback so I'm hesitant in working anymore on it. |
I think odds are low. Thanking @bitprophet and asking how things are on the other side of the world might help to understand if he has time for the review. Otherwise it is just a good git practice. You may be interested to know how to add arbitrary source URLs without patching this theme. fedora-infra/anitya@84c7812#diff-cac3dc3bfd42bc240bc9eb924f8dbfdd |
Made it into separate snippet and preserved your parameter name https://gist.github.com/abitrolly/12522b399c92606d7b09e9342c3f788b |
i resolved the merge conflict at least now... |
You can try to rebase that instead.
|
No description provided.