Merge-style PR for a project

[Anton Kozlov]

Hi,

Could you explain a bit or provide links to wiki/maillist how to use merge-style pull requests?
I have problems with https://github.com/openjdk/aarch64-port/pull/6.
(a missing newline on reviewer line is not really important)

Should the merge commit message be just "Merge"? Was https://github.com/openjdk/valhalla/pull/257 and https://github.com/openjdk/valhalla/pull/257/commits/0f62c4f5ff9797d303a93ddabc5c5c2b62d17cbf acceptable before the check introduced?

What if I have few commits before and/or after the merge commit (it's "and" in this PR). What to expect after the "/integrate"?

PS. Thanks for all hard work made for git transition possible, and for continuing efforts.

Thanks,
Anton