ject are marked as
closed (not merged) and the commits page on GitHub doesn't have a link for
the PRs. I'd rather use features on GitHub.
> What do other people think about this?
>
Anyone?
>
>
> Matteo
>
> On Tue, Aug 8, 2017 at 4:50 AM Masakazu Kitajo wrote:
&
b.com/apache/bookkeeper/blob/master/dev/bk-merge-pr.py
It's a bit more involved than just hitting "Squash & merge" on github, but
nothing really major.
What do other people think about this?
Matteo
On Tue, Aug 8, 2017 at 4:50 AM Masakazu Kitajo wrote:
> Hi,
>
>
Hi,
I'd like to propose enabling "Rebase and merge"[1] as an option to merge
pull requests.
Currently, we have only one option, "Squash and merge". However, I'm not a
big fun of this option because it makes commit history too clean. Even if
you made several mea
