Allow push to hidden refs at pull/*/head

[JojOatXGME]

Select Topic Area

Product Feedback

Body

I recently learned that you can checkout pull requests locally without adding the fork as another remote.

> git fetch origin pull/42/head:pull/42
> git checkout pull/42

or

> git config --local --add remote.origin.fetch '+refs/pull/*/head:refs/remotes/origin/pull/*'
> git fetch
> git checkout pull/42

However, according to the documentation, these refs are read-only. Assuming the PR is still open and the creator of the PR allows changes to the pull request branch, it would be nice if I could push to these references.

[sgleske-ias]

This is important to me because I'm converting all machine-based GitHub operations to use GitHub app authentication scoped to the organization of private repositories.

A token issued to a GitHub app cannot operate on a private fork of a repository under a user (even though that fork originated from the organization and the user has allowed changes from maintainers).