On Sun, 19 Apr 2015 at 18:25 Vincent Bernat <ber...@debian.org> wrote:
> This is not the case anymore. Deleting a branch leaves the pull request > as is. Also, editing commits leave the history of the pull request in > the timeline. Comments on edited commits are also still accessible. > Oh, if that is the case that is really good. I will have to try it out sometime. I suspect not many people know about this however (did I miss an announcement from github on this?), and I suspect it may not be possible to make changes to the pull request without write access to the branch. Unlike with gerrit, where I believe is possible to other people to post improved versions of the patch.
