[sage-devel] Re: patchbot security

2019-07-06 Thread 'Jonathan Kliem' via sage-devel
Thanks, I have to see what I can do about it (I went through all the tickets I tested and it looks things are fine). Am Samstag, 6. Juli 2019 14:50:51 UTC+2 schrieb Volker Braun: > > The patchbot configuration has some options for trusting specific user > accounts. > > Having said that, you are

[sage-devel] Re: patchbot security

2019-07-06 Thread Volker Braun
The patchbot configuration has some options for trusting specific user accounts. Having said that, you are correct in that it executes code submitted by strangers over the internet. At the very least make a separate user account for running the patchbot. You might want to add an additional cont