Stream: t-compiler

Topic: pushing to others' branches


varkor (May 24 2019 at 20:28, on Zulip):

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?

centril (May 25 2019 at 02:07, on Zulip):

would be ideal to have it enabled for at least those with r+ rights

nagisa (May 28 2019 at 23:24, on Zulip):

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.

varkor (May 29 2019 at 00:20, on Zulip):

yeah, they allow it under certain conditions: https://help.github.com/en/articles/committing-changes-to-a-pull-request-branch-created-from-a-fork

Last update: Nov 20 2019 at 01:50UTC