On 29/09/2020 10.38, Paolo Bonzini wrote: > On 28/09/20 19:49, Thomas Huth wrote: >> Hi Paolo, >> >> the following changes since commit 58c94d57a51a6927a68e3f09627b2d85e3404c0f: >> >> travis.yml: Use TRAVIS_BUILD_DIR to refer to the top directory (2020-09-25 10:00:36 +0200) >> >> are available in the Git repository at: >> >> https://gitlab.com/huth/kvm-unit-tests.git tags/pull-request-2020-09-28 >> >> for you to fetch changes up to b508e1147055255ecce93a95916363bda8c8f299: >> >> scripts/arch-run: use ncat rather than nc. (2020-09-28 15:03:50 +0200) [...] > Pulled, thanks (for now to my clone; waiting for CI to complete). > Should we switch to Gitlab merge requests for pull requests only (i.e. > patches still go on the mailing list)? Fine for me, though I'm not sure whether the other maintainers are already using gitlab or not... And do we need e-mail notifications for such merge requests sent to the mailing list, in case anybody else still wants to object? Thomas