make github proxy work again