วันจันทร์ที่ 10 กรกฎาคม พ.ศ. 2560

[sage-devel] Re: About the patchbot queue

Nice idea! I thought about the same, to set a patchbot up on some of our institutes idle servers, but did not succeed yet.
I'll tackle this again, when I have a bit more spare time.

Am Freitag, 7. Juli 2017 10:56:53 UTC+2 schrieb Eric Gourgoulhon:
Thanks for your answer.
The author is not trusted probably because it is his first ticket in Sage. What is the policy about this? Does an author become trusted after a first ticket by him has been accepted?
I understand we are short of patchbots and I am considering setting up one in my institute.
Best wishes,
Eric.

--
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+unsubscribe@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.

ไม่มีความคิดเห็น:

แสดงความคิดเห็น