705
Comment:
|
1146
more info
|
Deletions are marked like this. | Additions are marked like this. |
Line 5: | Line 5: |
* Install the patchbot using "sage -i patchbot" | * Install the patchbot using '''sage -i patchbot''' |
Line 7: | Line 7: |
* Run the patchbot using "sage -patchbot" | * Run the patchbot using '''sage -patchbot''' |
Line 11: | Line 11: |
You can run a specific ticket by passing --ticket=N. Several other options are available, see "sage --patchbot --help" | 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''' |
Line 15: | Line 19: |
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. | 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}} |
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}}