sagemath / sage-patchbot

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

add documentation/feedback where patchbot merges into #16

Open rwst opened 10 years ago

rwst commented 10 years ago

Apparently patchbot merges into patchbot/base but how is that set? Ah via that config file. This ticket can be closed when such a command line option exists and is shown with -patchbot --help. Additionally, some log output should be added like in the reports but as soon as possible.