no, because people can still try to introduce new ones.
Le jeudi 22 octobre 2015 20:33:42 UTC+2, Volker Braun a écrit :
>
> Of course we could upgrade all old-style continuations and then remove the
> patchbot plugin... ;-)
>
>
> On Thursday, October 22, 2015 at 6:49:21 PM UTC+2, Frédéric Chapoto
Of course we could upgrade all old-style continuations and then remove the
patchbot plugin... ;-)
On Thursday, October 22, 2015 at 6:49:21 PM UTC+2, Frédéric Chapoton wrote:
>
> just ignore the patchbot advice when it is wrong.. There is no easy way to
> enhance this plugin.
>
--
You received
just ignore the patchbot advice when it is wrong.. There is no easy way to
enhance this plugin.
Le jeudi 22 octobre 2015 17:11:22 UTC+2, Jeroen Demeyer a écrit :
>
> On 2015-10-22 16:54, Vincent Delecroix wrote:
> > On 22/10/15 11:52, Eric Gourgoulhon wrote:
> >> PS: I agree that starting a lin
On 2015-10-22 16:54, Vincent Delecroix wrote:
On 22/10/15 11:52, Eric Gourgoulhon wrote:
PS: I agree that starting a line by "..." is not very orthodox typography
but it is commonly used to stress that the sentence is the
continuation of
a preceeding statement, isn't it?
I am also inclined to
On 22/10/15 11:52, Eric Gourgoulhon wrote:
PS: I agree that starting a line by "..." is not very orthodox typography
but it is commonly used to stress that the sentence is the continuation of
a preceeding statement, isn't it?
I am also inclined to modify the patchbot instead of restricting the
Thanks Vincent for your reply.
I've reported the issue to the patchbot github page.
Eric.
PS: I agree that starting a line by "..." is not very orthodox typography
but it is commonly used to stress that the sentence is the continuation of
a preceeding statement, isn't it?
--
You received t
Hola Eric,
From your part it is a typographical error since "..." should not be
preceded by any space. The patchbot is not smart at all since this is
just the naive regexp: regex=r'^\s*\.\.\.\s'
The issues should be reported on github (if you do have an account):
https://github.com/robertwb/
Hi,
On the ticket
http://trac.sagemath.org/ticket/18529
the patchbots report a failed plugins.doctest_continuation:
http://patchbot.sagemath.org/log/18529/Gentoo%20Base%20System/2.2/x86_64/3.2.1-gentoo-r2/sage4/2015-10-20%2023:53:22?plugin=plugins.doctest_continuation
This is caused by line 779
