search

sagemath / sage-patchbot

Sage Patchbot
https://www.sagemath.org
Other
8 stars 17 forks source link

Do not require a log file to be present #119

Closed saraedum closed 2 years ago

saraedum commented 7 years ago

Fixes #118.

saraedum commented 7 years ago

I have not tested this (I am not sure how to run the patchbot server locally…)