[REST] Activity Types list for pull_request appears stale

[jsoref]

Code of Conduct

• I have read and agree to the GitHub Docs project's Code of Conduct

What article on docs.github.com is affected?

https://docs.github.com/en/actions/using-workflows/events-that-trigger-workflows#pull_request

What part(s) of the article would you like to see updated?

The list of activity types appears stale:

• assigned
• unassigned
• labeled
• unlabeled
• opened
• edited
• closed
• reopened
• synchronize
• converted_to_draft
• ready_for_review
• locked
• unlocked
• review_requested
• review_request_removed
• auto_merge_enabled
• auto_merge_disabled

At least milestoned is missing...

Additional information

https://docs.github.com/en/developers/webhooks-and-events/webhooks/webhook-events-and-payloads#pull_request

assigned
auto_merge_disabled
auto_merge_enabled
closed
converted_to_draft
demilestoned
dequeued
edited
enqueued
labeled
locked
milestoned
opened
ready_for_review
reopened
review_request_removed
review_requested
synchronize
unassigned
unlabeled
unlocked

[cmwilson21]

👋 @jsoref Thanks so much for opening an issue! I'll triage this for the team to take a look 👀

[jsoref]

@cmwilson21: the stale bot appears to have become considerably ruder.

[cmwilson21]

@jsoref Thanks for pinging me. Reopening now! 👍

[flying-sheep]

The milestoned event is definitely being triggered for pull requests.

I didn’t check demilestoned, but I doubt one would be added without the other.