❦ 19 avril 2015 07:34 GMT, Brian May <brian@microcomaustralia.com.au> :
> Unfortunately, github pull requests have limitations compared with
> patches, archived for example on a mailing list. For blog post on this
> see:
>
> https://julien.danjou.info/blog/2013/rant-about-github-pull-request-workflow-implementation
>
> IIRC, my understanding is that creating a patch request means you
> can't ever delete the branch associated with the pull request or you
> can't see the patch any more from the pull request. Yes, the patch
> request remains important even after the patch has been merged,
> because it can include discussions on how a particular set of
> decisions was made concerning the change in question.
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.
--
Make it clear before you make it faster.
- The Elements of Programming Style (Kernighan & Plauger)
Attachment:
signature.asc
Description: PGP signature