diff options
| author | Jason Nochlin <91577+hundredwatt@users.noreply.github.com> | 2024-01-10 02:05:16 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-01-10 10:05:16 +0100 |
| commit | c92c88b9fbea06422bbadeafe237c134361ecb88 (patch) | |
| tree | 9a6d727208462ed08510c935b07b1a708d5d9a22 /github_users.txt | |
| parent | fa1ca65bfd608fb117181de07320d8b568d30f12 (diff) | |
evaluate2.sh improvements - leaderboard, default SDK
* reset the JDK to the default (21.0.1-open) when no prepare script is provided
* leaderboard improvements - sorting and content
* run sdk install once at the beginning of the script for all the SDKs detected in any of the evaluated prepare scripts
* remove unnecessary code and tweak doc comments
* one more nit
* Don't print rankings values when only 1 fork is being evaluated
* It's been a few hours, so I now have some more rate limit :)
---------
Co-authored-by: Jason Nochlin <hundredwatt@users.noreply.github.com>
Diffstat (limited to 'github_users.txt')
| -rw-r--r-- | github_users.txt | 50 |
1 files changed, 50 insertions, 0 deletions
diff --git a/github_users.txt b/github_users.txt new file mode 100644 index 0000000..dfe15ee --- /dev/null +++ b/github_users.txt @@ -0,0 +1,50 @@ +Ujjwalbharti;Ujjwal Bharti +abfrmblr;Abhilash +ags313;ags +anandmattikopp;twohardthings +armandino;Arman Sharif +artpar;Parth Mudgal +asun;Alan Sun +bjhara;Hampus +coolmineman;Cool_Mineman +criccomini;Chris Riccomini +davecom;David Kopec +davery22;Daniel Avery +ddimtirov;Dimitar Dimitrov +ebarlas;Elliot Barlas +entangled90;Carlo +fatroom;Roman Romanchuk +felix19350;Bruno Félix +filiphr;Filip Hrisafov +flippingbits;Stefan Sprenger +fragmede;Samson +gabrielreid;Gabriel Reid +hchiorean;Horia Chiorean +imrafaelmerino;Rafael Merino García +isolgpus;Jamie Stansfield +iziamos;John Ziamos +jgrateron;Jairo Graterón +jotschi;Johannes Schüth +kevinmcmurtrie;Kevin McMurtrie +kgeri;Gergely Kiss +khmarbaise;Karl Heinz Marbaise +kuduwa-keshavram;Keshavram Kuduwa +merykitty;Quan Anh Mai +moysesb;Moysés Borges Furtado +mudit-saxena;Mudit Saxena +nstng;Nils Semmelrock +obourgain;Olivier Bourgain +padreati;Aurelian Tutuianu +palmr;Nick Palmer +rby;Ramzi Ben Yahya +richardstartin;Richard Startin +spullara;Sam Pullara +royvanrijn;Roy van Rijn +seijikun;Markus Ebner +semotpan;Serghei Motpan +thomaswue;Thomas Wuerthinger +truelive;Roman Schweitzer +twobiers;Tobi +yavuztas;Yavuz Tas +yehwankim23;김예환 Ye-Hwan Kim (Sam) +hundredwatt;Jason Nochlin |
