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
fix missing :: #27023
Comments
Branch: u/mantepse/fix_missing___ |
This comment has been minimized.
This comment has been minimized.
New commits:
|
Author: Martin Rubey |
Commit: |
Reviewer: Frédéric Chapoton |
comment:3
ok, Danke Schön |
Branch pushed to git repo; I updated commit sha1 and set ticket back to needs_review. New commits:
|
comment:5
Désolé Frederic, I found some more (mistake in my regexp) at the same time you reviewed. And now I have more questions:
|
comment:6
OK, I just saw that the ones in |
comment:8
I think I'm done. |
This comment has been minimized.
This comment has been minimized.
comment:10
(the failure in |
comment:11
OMG, such a patchbomb now... What did you do ??? Why all these whitespace changes ?? Why all these splitting of EXAMPLES lines ??? This is a wrong change (and this happens several times)
|
comment:12
I'm sorry, I guess this was stupid. I figured that at least some of the bad So, I guess it's best if I undo all changes except those |
Branch pushed to git repo; I updated commit sha1. New commits:
|
comment:14
If you prefer, I could also undo commit 2dd1dfd which concerns the modfications in |
comment:15
Instead of undoing bad changes, better just squash the patch to one commit. Otherwise it will break |
Changed branch from u/mantepse/fix_missing___ to public/fix_missing_colon |
New commits:
|
comment:17
done! |
comment:18
In |
comment:19
Also, I don't think that this is correct:
(this "A negative..." occurs twice like this) |
comment:20
The double indentation in
|
Branch pushed to git repo; I updated commit sha1. New commits:
|
Changed reviewer from Frédéric Chapoton to Frédéric Chapoton, Jeroen Demeyer |
comment:24
Great, many thanks! |
comment:25
Retarging tickets optimistically to the next milestone. If you are responsible for this ticket (either its reporter or owner) and don't believe you are likely to complete this ticket before the next release (8.7) please retarget this ticket's milestone to sage-pending or sage-wishlist. |
Changed branch from public/fix_missing_colon to |
If
EXAMPLE:
introduces an indented block of examples, a second:
is necessary, because this block is a code block.Component: documentation
Author: Martin Rubey
Branch/Commit:
41a64cd
Reviewer: Frédéric Chapoton, Jeroen Demeyer
Issue created by migration from https://trac.sagemath.org/ticket/27023
The text was updated successfully, but these errors were encountered: