Actually fix pull req repo name