Xarthisius
commented
7 years ago It's also partially required during stage1:
$ git log --format=full | grep 'Commit.*<none@none>' | sort | uniq
Commit: atmyers <none@none>
Commit: awetzel <none@none>
Commit: Ben Thompson <none@none>
Commit: bwoshea <none@none>
Commit: chiffre <none@none>
Commit: Christian Karch <none@none>
Commit: convert-repo <none@none>
Commit: cosmosquark <none@none>
Commit: dcollins4096 <none@none>
Commit: desika <none@none>
Commit: dfenn <none@none>
Commit: drudd <none@none>
Commit: Fabian Koller <none@none>
Commit: fbogert <none@none>
Commit: Jared <none@none>
Commit: jmt354 <none@none>
Commit: jnaiman <none@none>
Commit: jzuhone <none@none>
Commit: kayleanelson <none@none>
Commit: kbarrow <none@none>
Commit: langmm <none@none>
Commit: None <none@none>
Commit: Rafael Ruggiero <none@none>
Commit: sername=kayleanelson <none@none>
Commit: tabel <none@none>
jzuhone
ngoldbaum
lindsayad
zingale
matthewturk
We'll need to get folks' usernames here on GitHub and move them over to be organization members. Here are the project members:
Obviously, not all will necessarily want to move, as some are members emeritus, but this is the list of folks who will need to be made organizational members.