|
Size: 1549
Comment:
|
← Revision 89 as of 2017-02-02 17:24:53 ⇥
Size: 0
Comment: move to [[buildbot]]
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 1: | Line 1: |
| {{{ ┌─┬──────┐ │░│ ⊙ ʘ │ SageMath patchbot │░│ │ │░│ ──── │ ╘═╧══════╛ }}} == 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 using '''sage -patchbot --ticket=N''' where N is a ticket number such as 12345. Several other options are available, see '''sage -patchbot --help''' (2015-04) The latest available version can be installed using '''sage -i http://chapoton.perso.math.cnrs.fr/patchbot-2.3.3.spkg''' == Configuration == You can use a specific configuration file using '''sage -patchbot --config=config_file.json''' The base patchbot configuration can be found at https://github.com/robertwb/sage-patchbot/blob/master/src/patchbot.py in the ''get_config'' function. All of these settings can be overridden by passing a config file which is treated as a json overlay on these defaults. For example, to let the tickets of user "niceguy" be given some priority, use: {"author": {"niceguy": 200}} To avoid the use of ccache, use: {"use_ccache": False} A more complex example of config file could be: {"author": {"niceguy": 200}, "use_ccache": False, "safe_only": True, "skip_base": True} |
