diff --git a/bin/process b/bin/process index 6168b41f..5c1982a2 100755 --- 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 AleksanderBG) +USERS=%w(odersky biboudis allanrenucci Blaisorblade Duhemm gsps smarter nicolasstucki liufengyun OlivierBlanvillain sjrd AleksanderBG milessabin) PROG_HOME=File.expand_path("../..", __FILE__) REPO=ARGV[0] FILE=ARGV[1]