fix github script