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 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 > > liberty of documentation writers ;-) > > I would say: leave the patchbot alone and just ignore this one plugin > error. The patchbot only gives advice, a bad patchbot plugin report does > not imply that the ticket gets set back to needs_work. > > Jeroen. > > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.