Manage PushEvent to update related PRs if needed

Fixed #49