On Thu, 2019-10-17 at 10:33 +0200, Martin Kletzander wrote:
Another thing we completely missed (which could also be more
effective) is to have a PR template [1] which would say "please open MRs on
gitlab instead (or "we don't do GitHub" for current state).
Yup, that's definitely a good idea regardless!
Another option is
to have a bot reply to open PRs with that message designated for the specific
user and then closing them right at the same time.
Implementing or hooking up a bot sounds like it would be a lot more
work than just writing a short template, so I'd rather go the lazy
way first O:-)
--
Andrea Bolognani / Red Hat / Virtualization