community: integrator nominations
Here, we nominate new integrators.
@nharrand nomination: https://github.com/INRIA/spoon/pull/4134
@slarse nomination https://github.com/INRIA/spoon/pull/3983
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.
@monperrus It seems to me like the vote is unanimous, how about promoting @MartinWitt to integrator?
Great, this is https://github.com/INRIA/spoon/pull/4294
#4294 is merged!
@MartinWitt congratulations!
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.
I nominate @I-Al-Istannen for the role of integrator.
Place a :+1: if you approve on this post, or voice a dissenting opinion if you do not.
I nominate @SirYwell for the role of integrator.
Place a :+1: if you approve on this post, or voice a dissenting opinion if you do not.
@MartinWitt @monperrus @nharrand :point_up: