add redirect js to cocompensate for github being dumb