Hi, On Sun, Nov 06, 2016 at 10:26:25PM +0100, René J.V. Bertin wrote: > There's apparently no such thing resembling a pull request that says > "please consider incorporating this new version of you-know-what > file", right? Would be nice if you don't have to fork the whole beast > of a ports tree for upgrading just a single file...
No, that's just not how Git works. GitHub's editing feature gives you something similar, but that just does the fork + edit + PR for you in the background. -- Clemens
