>
> This is the plain vanilla upstream when this question is asked.
>
Ok, thanks!
Could that branch name be printed in the error message, just to avoid
confusion for other patchbot users?
1. I find that this question should not be asked and the default should be
>> 'No'
>>
> Agreed.
>
Should I open a ticket or are no further actions required?
Jakob
Am Dienstag, 16. September 2014 23:24:55 UTC+2 schrieb Robert Bradshaw:
>
> On Tue, Sep 16, 2014 at 7:07 AM, Jakob Kroeker <kro...@uni-math.gwdg.de
> <javascript:>> wrote:
>
>> Hello,
>>
>>
>> I'm running several patchbots. Sometimes I get
>>
>> Failing tests in your install: TestsFailed. Continue anyways? [y/N]
>>
>> 1. I find that this question should not be asked and the default should
>> be 'No'
>>
>
> Agreed.
>
>
>> 2. If the patchbot says 'Failing tests in your install..', which branch
>> is meant? '
>> ('git branch' tells that current branch is patchbot/ticket_merged)...
>> st to this group, send email to sage-...@googlegroups.com <javascript:>.
>> Visit this group at http://groups.google.com/group/sage-devel.
>> For more options, visit https://groups.google.com/d/optout.
>>
>
> This is the plain vanilla upstream when this question is asked.
>
--
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.
