Merge pull request #1223 from noti0na1/master

Add noti0na1 to users
lampepfl · Feb 1, 2022 · 8e8a850 · 8e8a850
2 parents 02c09e8 + d1f2e26
commit 8e8a850
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/bin/process b/bin/process
@@ -19,7 +19,7 @@ OptionParser.new do |opts|
   end
 end.parse!
 
-USERS=%w(odersky biboudis allanrenucci Blaisorblade Duhemm gsps smarter nicolasstucki liufengyun OlivierBlanvillain sjrd abgruszecki milessabin anatoliykmetyuk bishabosha Linyxus dwijnand mbovel)
+USERS=%w(odersky biboudis allanrenucci Blaisorblade Duhemm gsps smarter nicolasstucki liufengyun OlivierBlanvillain sjrd abgruszecki milessabin anatoliykmetyuk bishabosha Linyxus dwijnand mbovel noti0na1)
 PROG_HOME=File.expand_path("../..", __FILE__)
 REPO=ARGV[0]
 FILE=ARGV[1]