Greet new collaborators on their first pull-request

[gastaldi]

It would be nice if Quarkus bot greeted new collaborators on their first pull-request.

Kinda like https://github.com/behaviorbot/first-pr-merge

[gsmet]

I don't know. Isn't it better if it's a human congratulating you? That's typically the sort of thing for which I like a pat on the back from a human.

I usually do it when I first see a contributor around.

[gastaldi]

Once the PR is accepted, sure. I thought of giving immediate feedback once the PR is opened

[gsmet]

Ah OK, I misunderstood as I had a look at https://github.com/behaviorbot/first-pr-merge .

Yes, then, makes sense. Let the bikeshedding on the message begin!