ASCII->POLY: rm obsolete assignment
Try to set up github gh pages hook