This can be done by doing the merge locally and then pushing to GitHub. But the merge commits serve as a place to track the status of the pull request.
Matt. Sent from my iPhone > On 6 Dec 2013, at 11:08 pm, Pieter Hintjens <[email protected]> wrote: > > As far as I know, it's unavoidable when we use pull requests. > >> On Fri, Dec 6, 2013 at 7:54 AM, crocket <[email protected]> wrote: >> Is there a way to merge pull requests without introducing merge commits? >> >> _______________________________________________ >> zeromq-dev mailing list >> [email protected] >> http://lists.zeromq.org/mailman/listinfo/zeromq-dev >> > _______________________________________________ > zeromq-dev mailing list > [email protected] > http://lists.zeromq.org/mailman/listinfo/zeromq-dev _______________________________________________ zeromq-dev mailing list [email protected] http://lists.zeromq.org/mailman/listinfo/zeromq-dev
