Re: Using labels on pull requests in GitHub

[Yifan Cai]

Thank you Stefan for all the efforts!

Regarding the "merge strategy change", should we start a new thread?

I am +1 on adopting the merge button. It should work in the single branch
commit. Just the cross branch commit could be tricky.

- Yifan