3 ms·
They can update their branch in their own repo manually ("git pull upstream; git push origin" or equivalent on their development machines). Still it'd be aweso
by senko 13y ago
They can update their branch in their own repo manually ("git pull upstream; git push origin" or equivalent on their development machines).
Still it'd be awesome if GitHub supported this via a Web interface.
- unwiredben 13y agoThey kinda do... make a new pull request on the GitHub website, pulling from upstream into your fork, then accept it. It works quite well, except for the extra merge commit.