Warning: file_get_contents(/data/phpspider/zhask/data//catemap/2/github/3.json): failed to open stream: No such file or directory in /data/phpspider/zhask/libs/function.php on line 167

Warning: Invalid argument supplied for foreach() in /data/phpspider/zhask/libs/tag.function.php on line 1116

Notice: Undefined index: in /data/phpspider/zhask/libs/function.php on line 180

Warning: array_chunk() expects parameter 1 to be array, null given in /data/phpspider/zhask/libs/function.php on line 181
GitHub公关帮助。如何添加用户?_Github_Pull Request - Fatal编程技术网

GitHub公关帮助。如何添加用户?

GitHub公关帮助。如何添加用户?,github,pull-request,Github,Pull Request,我有一份已提交的PR,我要求对其进行小的更新/更改。用户在PR打开期间切换了GitHub配置文件,直到我查看PR。他现在希望能够将更改作为他的新用户名提交到PR。有没有办法给新用户对PR的写访问权 这是一个供PR参考的帐户。旧帐户是否仍然存在?贡献者应该能够让新帐户为其存储库和分支贡献更改。这将更新现有的公关。我已经要求用户这样做。我认为这是最好的办法。@chris,谢谢你的建议!旧帐户是否仍然存在?贡献者应该能够让新帐户为其存储库和分支贡献更改。这将更新现有的公关。我已经要求用户这样做。我认为

我有一份已提交的PR,我要求对其进行小的更新/更改。用户在PR打开期间切换了GitHub配置文件,直到我查看PR。他现在希望能够将更改作为他的新用户名提交到PR。有没有办法给新用户对PR的写访问权


这是一个供PR参考的帐户。

旧帐户是否仍然存在?贡献者应该能够让新帐户为其存储库和分支贡献更改。这将更新现有的公关。我已经要求用户这样做。我认为这是最好的办法。@chris,谢谢你的建议!旧帐户是否仍然存在?贡献者应该能够让新帐户为其存储库和分支贡献更改。这将更新现有的公关。我已经要求用户这样做。我认为这是最好的办法。@chris,谢谢你的建议!