RFR: Merge shenandoah:genshen [v3]

Roman Kennke rkennke at openjdk.java.net
Mon Feb 15 20:24:58 UTC 2021


On Fri, 12 Feb 2021 19:42:05 GMT, earthling-amzn <github.com+71722661+earthling-amzn 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?
>> 
>> Yes, please!
>
> The bot says only 'known authors' can create merge requests.

I've integrated this merge directly. Seemed the easiest approach :-)

-------------

PR: https://git.openjdk.java.net/shenandoah/pull/14


More information about the shenandoah-dev mailing list