Wait for addStatusToPull's promise to be fulfilled before updating displayed pr
style for error status too
Add above the PR list a user-focused PR summary

Activation configurable via config.json