Skip to content

Use a config file. #143

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

Merged
merged 20 commits into from
Oct 17, 2023
Merged

Use a config file. #143

Show file tree
Hide file tree
Changes from 17 commits
Commits
Show all changes
20 commits
Select commit Hold shift + click to select a range
3497b2b
Drop unused version.sphinxopts
JulienPalard Jan 6, 2023
2b53a17
Use a config file for easier discoverability.
JulienPalard Jan 6, 2023
850e5a3
Use branch info from the devguide.
JulienPalard Oct 12, 2023
6fc683c
Move latex config to config file.
JulienPalard Oct 12, 2023
de24eb7
Proofreading.
JulienPalard Oct 12, 2023
d3e86f6
Clone indiferently branches and tags.
JulienPalard Oct 12, 2023
aeb773d
Those arguments can't contain newlines.
JulienPalard Oct 12, 2023
7cc0aa4
Has been removed in d5a0a72b373c81f64bbabcbe8b885ba2a409be38.
JulienPalard Oct 12, 2023
2b2af6d
Can't clone with to an unexisting directory.
JulienPalard Oct 14, 2023
6c8d0b4
Fix link.
JulienPalard Oct 14, 2023
8389b9e
More uses of the Git class, thanks to AA-Turner review.
JulienPalard Oct 14, 2023
88becd0
Purge helper.
JulienPalard Oct 14, 2023
b81466f
Avoid some lookups.
JulienPalard Oct 14, 2023
2a9e24f
Not usefull.
JulienPalard Oct 14, 2023
d515559
tag can be deduced from iso-tag.
JulienPalard Oct 14, 2023
d83b830
Maybe better names for repository and remote.
JulienPalard Oct 14, 2023
6ed6b92
Run a single git fetch on cpython.
JulienPalard Oct 14, 2023
98fec40
It's 2023!
JulienPalard Oct 15, 2023
ca34047
For the main branch, show-ref also finds the heads/main.
JulienPalard Oct 16, 2023
5a4c953
--language semantic has not been changed.
JulienPalard Oct 17, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
11 changes: 0 additions & 11 deletions README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -54,14 +54,3 @@ of Sphinx we're using where:
3.12 4.5.0 4.5.0 4.5.0 4.5.0 4.5.0 4.5.0 4.5.0 4.5.0 4.5.0 4.5.0 4.5.0 4.5.0 4.5.0
3.13 6.2.1 6.2.1 6.2.1 6.2.1 6.2.1 6.2.1 6.2.1 6.2.1 6.2.1 6.2.1 6.2.1 6.2.1 6.2.1
========= ===== ===== ===== ===== ===== ===== ===== ===== ======= ===== ===== ======= =======

## The GitHub hook server

`build_docs_server.py` is a simple HTTP server handling GitHub Webhooks
requests to build the doc when needed. It only needs `push` events.

Its logging can be configured by giving a yaml file path to the
`--logging-config` argument.

By default the loglevel is `DEBUG` on `stderr`, the default config can
be found in the code so one can bootstrap a different config from it.
Loading