FYI, if you do a git shortlog -sn | head -n4 in the SBCL repo you get (as of now):

  4025 Douglas Katzman 
  2887 Stas Boukarev 
  1695 Nikodemus Siivola 
  1596 Christophe Rhodes