tweak sep in configs.rkt to be _ instead of ,
tweak sep in configs.rkt to be _ instead of ,

akuhlens/schml,Gradual-Typing/Grift,Gradual-Typing/Grift,akuhlens/schml,akuhlens/schml,Gradual-Typing/Grift,akuhlens/schml,Gradual-Typing/Grift,akuhlens/schml,akuhlens/schml