Actually make github hook work again