does this require push access on the rust repository itself?
is there any chance this could be enabled for the compiler team / responsible reviewers, or does that require too many access privileges?
would be ideal to have it enabled for at least those with r+ rights
Pushing to other people’s branches requires you to have access to their fork. Otherwise the only other way is to forcefully update the
refs/heads/pr head in
rust-lang/rust which would in turn result in weird discrepancies in GitHub’s UI, so I’m not sure if they allow pushing to those refs directly.
yeah, they allow it under certain conditions: https://help.github.com/en/articles/committing-changes-to-a-pull-request-branch-created-from-a-fork