sage-patchbot (pypi): bot for automatic test of sagemath trac tickets
Keywords: sagemath