small changes to adapt github page rules