GitHub shows infinite contributors to the Linux source repository

  $ git shortlog | grep -a -c '^[^ ]'
  16300