better error message for sage_root

sagemath / sage-patchbot

Sage Patchbot

https://www.sagemath.org

Other

8 stars 17 forks source link

Closed videlec closed 8 years ago

videlec commented 8 years ago

meaningful error message when sage_root is not set (neither from command line nor from the configuration file)
remove extra_trusted_authors from patchbot.config