tree 1391d667f3ac99fb62185ddb2dd7f5de032dc146
parent 872f72d2b82a44f8464757cbfae33518439149e7
author Jeremy Stanley <fungi@yuggoth.org> 1408750084 +0000
committer Jeremy Stanley <fungi@yuggoth.org> 1409678790 +0000

Be more careful about when to close pull requests

* jeepyb/cmd/close_pull_requests.py: Only try to close pull requests
if actually configured to use GitHub. Also log verbose errors when
it fails to find the project there.

* jeepyb/projects.py: Add a convenience has_github function to
encode the somewhat twisty per-project override/default fallback
determination for the has-github global bool and local flag.

Change-Id: I0bbfabd2f110269cb8331383173f0dd588500778