community: integrator nominations

[monperrus]

Here, we nominate new integrators.

[monperrus]

@nharrand nomination: #4134

[monperrus]

@slarse nomination #3983

[monperrus]

Proposal to nominate @MartinWitt

Per the past year's contributions, and in particular the Java 16 support, I'd like to nominate @MartinWitt for becoming integrator: https://github.com/INRIA/spoon/commits?author=MartinWitt

@MartinWitt WDYT?

To cast your opinion, we can emoji this comment.

[slarse]

@monperrus It seems to me like the vote is unanimous, how about promoting @MartinWitt to integrator?

[monperrus]

Great, this is #4294

[nharrand]

#4294 is merged!

@MartinWitt congratulations!

[slarse]

Moving into a new academic year, I think it's appropriate to consider new integrators. Let's have a peek at the past year's contributions.

@MartinWitt has a tiny lead, but he's already an integrator so that's OK. But these are the numbers I'm basing my two below nominations on, both of which I feel are more knowledgeable about both Spoon and Java than I am myself at this point. Along with @MartinWitt, they are by far the largest contributors to Spoon in terms of both commits and issue triage.

[slarse]

I nominate @I-Al-Istannen for the role of integrator.

Place a 👍 if you approve on this post, or voice a dissenting opinion if you do not.

[slarse]

I nominate @SirYwell for the role of integrator.

Place a 👍 if you approve on this post, or voice a dissenting opinion if you do not.

[slarse]

@MartinWitt @monperrus @nharrand ☝️