Merge branch 'docs_and_setup'

master
Tim Möhlmann 5 years ago
commit 13d6cf2fdb
No known key found for this signature in database
GPG Key ID: 8677988D8072E8DE

@ -35,18 +35,18 @@ pull_request_rules:
comment: comment:
message: bors r+ message: bors r+
- name: Backport to 1.6 branch - name: Backport to 1.7 branch
conditions: conditions:
- base=master - base=master
- label=type/backport - label=type/backport
actions: actions:
backport: backport:
branches: branches:
- '1.6' - '1.7'
- name: remove outdated reviews - name: remove outdated reviews
conditions: conditions:
- base~=^(master|1.6)$ - base~=^(master|1.7)$
actions: actions:
dismiss_reviews: dismiss_reviews:
approved: True approved: True

@ -4,6 +4,7 @@ branches:
- testing - testing
- '1.5' - '1.5'
- '1.6' - '1.6'
- '1.7'
- master - master
sudo: required sudo: required

@ -40,6 +40,7 @@ html_context = {
'versions': [ 'versions': [
('1.5', '/1.5/'), ('1.5', '/1.5/'),
('1.6', '/1.6/'), ('1.6', '/1.6/'),
('1.7', '/1.7/'),
('master', '/master/') ('master', '/master/')
], ],
'conf_py_path': '/docs/' 'conf_py_path': '/docs/'

Loading…
Cancel
Save