Skip to content

Conversation

@mortenpi
Copy link
Member

@mortenpi mortenpi commented Feb 9, 2021

mortenpi and others added 6 commits February 10, 2021 11:01
* Mention that push_review doesn't work from forks
* Check for empty DOCUMENTER_KEY/GITHUB_TOKEN/GITHUB_ACTOR
* Clarify that deploy token and key are not both needed

(cherry picked from commit 4b655e7)
Co-authored-by: Oscar Dowson <[email protected]>
(cherry picked from commit 91e3a04)
@mortenpi mortenpi added this to the 0.26.2 milestone Feb 9, 2021
@odow
Copy link
Collaborator

odow commented Feb 11, 2021

Woo! Yes please on a 0.26.2 release. It should fix things like this in the dev version of the JuMP documentation:
image

@mortenpi
Copy link
Member Author

Yep, it's coming (still need to backport #1526 too). I'm planning on tagging on Sunday or Monday morning though, since I'll be away from the computer the whole weekend.

knuesel and others added 3 commits February 15, 2021 10:59
Ref: #1342

1. Use the `oneside` option of the memoir class, which is better for reading on a screen and anything that isn't a bound book.
2. For now hardcode ToC depth to section.
3. Clear page after the title.

(cherry picked from commit f7c7929)
@mortenpi mortenpi merged commit cbc21f5 into release-0.26 Feb 15, 2021
@mortenpi mortenpi deleted the backports-0.26.2 branch February 15, 2021 01:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants