-
-
Notifications
You must be signed in to change notification settings - Fork 1.6k
Trigger self-deploy for fork, on <self>/gh-pages branch. #25
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
Conversation
If the current repository is python/peps: - build only on master. - deploy to root of gh-pages, meaning that peps should be visible at: `https://python.github.io/peps/` (CNAMe can be added later to be accessible from `peps.python.org` If the current repository is **not** `python/peps`: - build unless the branch is `master` or `gh-pages` (we want to avoid recursion right?) - deploy to `<username>.github.io/peps/<branchname>/` This try to deplot only if `DEPLOY_KEY`is set.
I still can't see the benefit of adding this. The converter in python.org uses different a CSS file and rewrites the HTML files created by pep2html.py (search for "pep" on pydotorg issue tracker to see inconsistencies). Georg's idea in #5 (comment) is more preferable in my opinion. |
I don't disagree with the comment in #5 and this does not prevent it Brett mentionned that it would be nice to have auto build of the peps, Why This is my attempt at fixing that : use Travis to build and deploy a Regardless of wether you want autobuild, the part about user deploy on Unless there is an actual disagreement on the fact that peps should not Finally as a contributor it simplify my workflow, when I convert a pep from
|
I think there is a misunderstanding here. Unless I'm missing something there is no concrete plan about peps.python.org yet. #3 is briefly mentioned about RtD but there is no discussion about what is going to happen to the current infrastructure (A list of open questions: Are we still going to use genpepindex.py, pep2html.py and pep0 package or clean everything and switch to use Sphinx like proposed in #2? Are we going to use the PEP converter in python.org or just delete the peps application in www.python.org and redirect python.org/dev/peps/pep-XXX/ to peps.python.org/pep-XXXX/? Are we going to host it on rtd.org or set up our RtD instance? New theme or use the default one RtD?)
Or you can build the files you've changed in your computer in a few seconds, verify they look fine, and send a pull request. |
I think the point @Carreau is making is that it's easier if the files are simply there to view if you're doing some work in the browser. #1 would actually go a long way to helping with that, though, since you would get rich renderings and diffs. But that doesn't cover the header fields which simply get mangled. My question is where did the |
No I wrote it from scratch, with inspiration from what is used on matplotlib/matplotlib and ipython/ipython-website. There are similar packages that do that on npm, but not exactly what is needed there. Seeing the discussion. I'm fine if this is closed, you should just mentioned in #3 and #2 that the decision of exactly what would become of the peps on Python.org should be decided first. |
If the current repository is python/peps:
https://python.github.io/peps/
(CNAMe can be added later to beaccessible from
peps.python.org
If the current repository is not
python/peps
:master
orgh-pages
(we want to avoidrecursion right?)
<username>.github.io/peps/<branchname>/
This try to deploy only if
DEPLOY_KEY
is set.Take 2 on #17
@brettcannon said in #17:
The problem is that the code to do it have to be in
python/peps
otherwise it requires people to modify their.travis.yml
for every PR, which you obviously don't want to merge.And uploading a zip needs credentials as well. Pushing back on Gh-Pages seem the simpler as it also allow to see the rendered version with need to download-zip, unpack, and test locally (which you can't do on phones)