-
-
Notifications
You must be signed in to change notification settings - Fork 546
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
Remove documentation configuration from micro_release #25787
Comments
Branch: u/saraedum/25787 |
This comment has been minimized.
This comment has been minimized.
New commits:
|
Changed keywords from none to micro_release |
Commit: |
Author: Julian Rüth |
comment:4
Ticket retargeted after milestone closed |
comment:5
Moving tickets to milestone sage-9.2 based on a review of last modification date, branch status, and severity. |
comment:6
Branch no longer merges. Please rebase. |
comment:8
Setting new milestone based on a cursory review of ticket status, priority, and last modification date. |
comment:9
Setting a new milestone for this ticket based on a cursory review. |
Changed branch from u/saraedum/25787 to u/mkoeppe/25787 |
Reviewer: Matthias Koeppe |
comment:12
Rebased. New commits:
|
Changed branch from u/mkoeppe/25787 to |
The documentation configuration is not needed anymore after #25786.
Depends on #25786
Depends on #24655
CC: @dimpase @jhpalmieri @mkoeppe @slel
Component: distribution
Keywords: micro_release
Author: Julian Rüth
Branch/Commit:
988f384
Reviewer: Matthias Koeppe
Issue created by migration from https://trac.sagemath.org/ticket/25787
The text was updated successfully, but these errors were encountered: