Merging a Pull Request

[Mads Kiilerich]

On 02/20/2015 01:08 PM, Andrew Miller wrote:
> I can issue pull requests and comment on them, but I cannot see how to
> merge a pull request.
>
> Has this functionality been implemented yet?

Correct, this has not been implemented. You can / have to do that 
locally. (And I think that is a good/better way of doing it.)

I think 'automatic merge' is something that github and bitbucket do in a 
way where they pretty much enforce one work flow that is good enough for 
the 80% of "market" that are using them. I am more in the last 20%. I 
care what goes into my repository and I want to keep it clean. I want to 
tweak what I am merging, not just merge it.

Some thoughts in that area were dumped on 
http://lists.sfconservancy.org/pipermail/kallithea-general/2015q1/000149.html 
.

That being said, it could make sense to implement a merge option that 
could work in the simple cases. So far nobody considered it important 
enough to invest in implementing it.

/Mads