816
Comment: link to latest
|
← Revision 89 as of 2017-02-02 17:24:53 ⇥
0
move to [[buildbot]]
|
Deletions are marked like this. | Additions are marked like this. |
Line 1: | Line 1: |
== Running the patchbot == You can let the patchbot choose the tickets it will run on. * Install the patchbot using "sage -i patchbot" * Run the patchbot using "sage -patchbot" I will run forever, as long as it finds a ticket to work on. Tickets are only considered if their authors are trusted. You can run a specific ticket by passing --ticket=N. Several other options are available, see "sage --patchbot --help" (2015-04) latest available version is here : sage -i http://chapoton.perso.math.cnrs.fr/patchbot-2.3.3.spkg == Configuration == The base patchbot configuration can be found at https://github.com/robertwb/sage-patchbot/blob/master/src/patchbot.py#L232 . All of these settings can be overridden by passing a --config file which is treated as a json overlay on these defaults. |