It appears pull request updates - specifically pushes that introduce new commits to the pull request - do not cause a "pr:modified" webhook event. This is pretty bad if true.
1. Is the above true?
2. Is the only way to get updates to pull requests to first record the pull request ID of a branch when receiving the "pr:opened" event then lookup the pull request id, if any, every time you see a push to a branch?
