Question about Ubuntu patchbot

54 views
Skip to first unread message

Paul Masson

unread,
Jul 9, 2019, 6:03:07 PM7/9/19
to sage-devel
In the process of reviewing https://trac.sagemath.org/ticket/28130, I noticed that the Ubuntu patchbot fails to apply the commits of this ticket to 8.9.beta1. I created a clean branch of 8.9.beta1 and successfully merged the commits of this ticket without any issues, so what's up with the patchbot? Is this a real build error or a patchbot error?

Frédéric Chapoton

unread,
Jul 10, 2019, 2:25:31 AM7/10/19
to sage-devel
If you are talking about the patchbot named

Ubuntu/18.4/x86_64/3.13.0-170-generic/44e979ad077a 

then it is known to be a rather problematic one. We do not know who is running this patchbot. It has therefore several problems that have not been fixed despite being known for at least 6 months. Patchbot owners are supposed to provide their trac name in the patchbot config, but here somebody didn't.

F

E. Madison Bray

unread,
Jul 11, 2019, 4:10:45 PM7/11/19
to sage-devel
On Wed, Jul 10, 2019 at 8:25 AM Frédéric Chapoton <fchap...@gmail.com> wrote:
>
> If you are talking about the patchbot named
>
> Ubuntu/18.4/x86_64/3.13.0-170-generic/44e979ad077a
>
> then it is known to be a rather problematic one. We do not know who is running this patchbot. It has therefore several problems that have not been fixed despite being known for at least 6 months. Patchbot owners are supposed to provide their trac name in the patchbot config, but here somebody didn't.

Well I just checked and apparently it's mine: It's the one I run in a
docker container (expressly for the purpose of testing Sage in
docker). Indeed if it's been acting strangely I'll just take it down
for now until I have time to look more into it.


> Le mercredi 10 juillet 2019 00:03:07 UTC+2, Paul Masson a écrit :
>>
>> In the process of reviewing https://trac.sagemath.org/ticket/28130, I noticed that the Ubuntu patchbot fails to apply the commits of this ticket to 8.9.beta1. I created a clean branch of 8.9.beta1 and successfully merged the commits of this ticket without any issues, so what's up with the patchbot? Is this a real build error or a patchbot error?
>
> --
> 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+...@googlegroups.com.
> To post to this group, send email to sage-...@googlegroups.com.
> Visit this group at https://groups.google.com/group/sage-devel.
> To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/cc9cefce-a3b9-4791-8a25-b9ed1b6442d9%40googlegroups.com.
> For more options, visit https://groups.google.com/d/optout.
Reply all
Reply to author
Forward
0 new messages