RFR: Merge shenandoah:genshen [v2]
earthling-amzn
github.com+71722661+earthling-amzn at openjdk.java.net
Fri Feb 12 19:48:37 UTC 2021
On Fri, 12 Feb 2021 19:37:50 GMT, Roman Kennke <rkennke at openjdk.org> wrote:
>> Taking a look now. The bot suggests changing the title of this PR to indicate that it's a merge, otherwise it will be squashed. If this gets squashed, won't it make subsequent merges from master more difficult? Is it okay with you if I change the title of this PR so this goes into a `genshen` as a merge and not a giant squashed commit?
>
>> Taking a look now. The bot suggests changing the title of this PR to indicate that it's a merge, otherwise it will be squashed. If this gets squashed, won't it make subsequent merges from master more difficult? Is it okay with you if I change the title of this PR so this goes into a `genshen` as a merge and not a giant squashed commit?
>
> Yes, please!
The bot says only 'known authors' can create merge requests.
-------------
PR: https://git.openjdk.java.net/shenandoah/pull/14
More information about the shenandoah-dev
mailing list