edit title and description of others' PRs when allowed #1065
Description
The maintainers are allowed to edit the description and the title of other people's PRs, but this extension only allows that for one's own PRs at the moment.
{{ message }}
The maintainers are allowed to edit the description and the title of other people's PRs, but this extension only allows that for one's own PRs at the moment.