Does the Pulumi GitHub app support the same

edit-pr-comment

feature as the GitHub Actions integration?