always proxy github repos (#710)
always proxy github repos (#710)

drop banned repos
filter on search
playi/pxt,Microsoft/pxt,playi/pxt,switchinnovations/pxt,switchinnovations/pxt,switch-education/pxt,switch-education/pxt,switchinnovations/pxt,playi/pxt,switch-education/pxt,Microsoft/pxt,Microsoft/pxt,Microsoft/pxt,switch-education/pxt,Microsoft/pxt,playi/pxt,switchinnovations/pxt,switch-education/pxt