8

The initiator of a pull request may give the maintainer the ability to edit the pull request.

For any given pull request, how can we tell if that ability has been granted? (preferably I would like to know via the browser, but cli is also fine)

For clarity

Here's the specifics of the case I'm trying to solve:

UPDATE

I have lodged a ticket with github support and will update the question with anything I find.

As a last resort, I will try to solve by creating dummy github accounts, make two identical PRs to two identical repos (one with edit permissions granted and another without), to see if I can spot the difference). If anyone does this first, please answer below.

stevec
  • 41,291
  • 27
  • 223
  • 311

2 Answers2

11

UPDATE

As of Feb 2023, please ignore this answer and see @Jmini's answer.

Outdated answer

From github support:

Unfortunately there isn't a filter to see which pull requests have allowed edits from maintainers.

Currently, the only way you will know if the pull request author has selected Allow Edits from Maintainers is if you try to edit files from the pull request.

For example, if you select a pull request from the fork parent's repository, there will be Files Changed tab. See screenshot below - if you see the Edit file button greyed out, it means the user has not allowed edits from maintainers.

enter image description here

stevec
  • 41,291
  • 27
  • 223
  • 311
  • 2
    whelp, that's better than nothing. Thanks @stevec for chasing down github support on this issue, so that I and other do not have to – tel Nov 19 '20 at 00:29
1

(Update February 2023)

This is now displayed on the PR on GitHub:

Maintainers are allowed to edit this pull request

See blog post: See when a Pull Request is editable by maintainers

Jmini
  • 9,189
  • 2
  • 55
  • 77