On Wed, Jun 10, 2015 at 6:31 AM, Alban Crequy <al...@endocode.com> wrote: >>> Instead, just reuse the same PR and use `git push -f` to ship new >>> versions of the commits to the same branch... Yes it's awful but >>> unfortunately that's how GitHub works... >> >> Yeah, it is awful, and loses all the comments, as well is incompatible >> with having multiple people making patch suggestions for the same >> issue. > > FWIW it only loses the comments if people comment on individual > commits instead of commenting on the "Files changed" tab of a PR. I > usually comment in this way on purpose instead of commenting on > commits, so that the history of comments are kept in the PR, even > after rebase (it might be folded if the chunk of the patch is not > there anymore, but the comment is still in the PR). If you really want > to comment on an individual commit (but I don't recommend it), you can > include the reference of the PR in your comment (#42), then github > will keep your comment attached to the PR.
Ah that makes sense! Indeed as I explained I like to look at the individual commits, so that would explain why my comments would get lost as a new version is pushed... > I think it is fine as it is as long as people comment in the "Files > changed" tab. Lennart, do you think setting that rule is better than the "one PR per version of patchset"? Cheers, Filipe _______________________________________________ systemd-devel mailing list systemd-devel@lists.freedesktop.org http://lists.freedesktop.org/mailman/listinfo/systemd-devel