Here is what the public repo shows. Top commit contributors (all-time GitHub commit count, not quality, list incomplete): xHeaven 205, nunomaduro 183, mnapoli 79, brendt 42, paulinevos 20, simonhamp 19, jubianchi 18, MrPunyapal 17, sadiqk2 8, ampagent 8.…