Closed braddr closed 10 years ago
For more rapid responsiveness to pull request changes, use notifications.
Polling can and should still be used to make sure no notifications were missed.
Similarly, process commit events and deprecate the add/github_post hook
done
For more rapid responsiveness to pull request changes, use notifications.
Polling can and should still be used to make sure no notifications were missed.