diff options
| author | Daniele Varrazzo <daniele.varrazzo@gmail.com> | 2014-08-22 06:23:54 +0100 |
|---|---|---|
| committer | Daniele Varrazzo <daniele.varrazzo@gmail.com> | 2014-08-31 03:05:03 +0100 |
| commit | 7d81c488494686f3a9cc776bcce3e067ba037f20 (patch) | |
| tree | 7752c913b3ec0127df347e9301d70ad460f446ab | |
| parent | 37d80f2c0325951d3ee6b07caf7d343d4a97a23d (diff) | |
| download | psycopg2-7d81c488494686f3a9cc776bcce3e067ba037f20.tar.gz | |
Point tickets to GitHub instead of Lighthouse
Keep into account the numbers reshuffling: Lighthouse bugs with a number
matching a GitHub merge request are shifted ahead.
| -rw-r--r-- | doc/src/conf.py | 4 | ||||
| -rw-r--r-- | doc/src/tools/lib/ticket_role.py | 17 |
2 files changed, 18 insertions, 3 deletions
diff --git a/doc/src/conf.py b/doc/src/conf.py index 17a61f5..18b81e0 100644 --- a/doc/src/conf.py +++ b/doc/src/conf.py @@ -68,7 +68,9 @@ intersphinx_mapping = { } # Pattern to generate links to the bug tracker -ticket_url = 'http://psycopg.lighthouseapp.com/projects/62710/tickets/%s' +ticket_url = 'https://github.com/psycopg/psycopg2/issues/%s' +ticket_remap_until = 25 +ticket_remap_offset = 230 # The language for content autogenerated by Sphinx. Refer to documentation # for a list of supported languages. diff --git a/doc/src/tools/lib/ticket_role.py b/doc/src/tools/lib/ticket_role.py index f8ceea1..2890066 100644 --- a/doc/src/tools/lib/ticket_role.py +++ b/doc/src/tools/lib/ticket_role.py @@ -3,7 +3,7 @@ ticket role ~~~~~~~~~~~ - An interpreted text role to link docs to lighthouse issues. + An interpreted text role to link docs to tickets issues. :copyright: Copyright 2013 by Daniele Varrazzo. """ @@ -20,13 +20,24 @@ def ticket_role(name, rawtext, text, lineno, inliner, options={}, content=[]): prb = inliner.problematic(rawtext, rawtext, msg) return [prb], [msg] - url_pattern = inliner.document.settings.env.app.config.ticket_url + cfg = inliner.document.settings.env.app.config + url_pattern = cfg.ticket_url if url_pattern is None: msg = inliner.reporter.warning( "ticket not configured: please configure ticket_url in conf.py") prb = inliner.problematic(rawtext, rawtext, msg) return [prb], [msg] + # Push numbers of the oldel tickets ahead. + # We moved the tickets from a different tracker to GitHub and the + # latter already had a few ticket numbers taken (as merge + # requests). + remap_until = cfg.ticket_remap_until + remap_offset = cfg.ticket_remap_offset + if remap_until and remap_offset: + if num <= remap_until: + num += remap_offset + url = url_pattern % num roles.set_classes(options) node = nodes.reference(rawtext, 'ticket ' + utils.unescape(text), @@ -35,5 +46,7 @@ def ticket_role(name, rawtext, text, lineno, inliner, options={}, content=[]): def setup(app): app.add_config_value('ticket_url', None, 'env') + app.add_config_value('ticket_remap_until', None, 'env') + app.add_config_value('ticket_remap_offset', None, 'env') app.add_role('ticket', ticket_role) |