[infinispan-dev] Using GitHub's AutoMerge button

classic Classic list List threaded Threaded
2 messages Options
Reply | Threaded
Open this post in threaded view
|

[infinispan-dev] Using GitHub's AutoMerge button

Manik Surtani
Guys

Please *don't* use this when handling pull requests.  This creates unnecessary merges (see attached screenshot) and a non-linear history.


Use my handle_pull_request script on https://github.com/maniksurtani/githelpers instead.

Cheers

_______________________________________________
infinispan-dev mailing list
[hidden email]
https://lists.jboss.org/mailman/listinfo/infinispan-dev
Reply | Threaded
Open this post in threaded view
|

Re: [infinispan-dev] Using GitHub's AutoMerge button

Vladimir Blagojevic
Yes I noticed it too and had the same suspicion on new GitHub AutoMerge feature....
On 11-05-09 11:44 AM, Manik Surtani wrote:
Guys

Please *don't* use this when handling pull requests.  This creates unnecessary merges (see attached screenshot) and a non-linear history.


Use my handle_pull_request script on https://github.com/maniksurtani/githelpers instead.

Cheers
Manik

_______________________________________________ infinispan-dev mailing list [hidden email] https://lists.jboss.org/mailman/listinfo/infinispan-dev


_______________________________________________
infinispan-dev mailing list
[hidden email]
https://lists.jboss.org/mailman/listinfo/infinispan-dev