Project description

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.

The server needs a Python with Flask and mongodb installed.

These details have not been verified by PyPI

View statistics for this project via Libraries.io, or by using our public dataset on Google BigQuery

This version

3.0.2

Aug 26, 2021

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Uploaded Aug 26, 2021 Source

Uploaded Aug 26, 2021 Python 3

Hashes for sage_patchbot-3.0.2.tar.gz
Algorithm	Hash digest
SHA256	`4af4552cb26cd695954aa6d671c5ad08052a9ff3bb6f2d8c87fbe2f6bcc0b1e9`
MD5	`7a65934e92ed45f0cf92f137d91ca98b`
BLAKE2b-256	`df70debd530a7f1639ecb20774eee10bac79cb1ca511dfb6ecf5f12b06c39ba3`