sage-patchbot

bot for automatic test of sagemath trac tickets


Keywords
sagemath
License
GPL-2.0+
Install
pip install sage-patchbot==3.0.2

Documentation

PATCHBOT

The patchbot only needs a Sage source install (clone of git repository) and is started with

`python3 -m sage_patchbot.patchbot --sage-root=XXX [other options]`

Type --help for a list of options, though most configuration is done via an optional JSON config file.

For more documentation on running a patchbot, see this page.

SERVER

The server needs a Python with Flask and mongodb installed.

Language grade: Python