Differences between revisions 5 and 6
⇤ ← Revision 5 as of 2015-04-21 09:36:46 →
Size: 816
Editor: chapoton
Comment: link to latest
← Revision 6 as of 2015-04-21 09:39:01 → ⇥
Size: 842
Editor: chapoton
Comment:
Deletions are marked like this. Additions are marked like this.
Line 17: Line 17:
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. The base patchbot configuration can be found at https://github.com/robertwb/sage-patchbot/blob/master/src/patchbot.py#L373 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.

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#L373 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.