The CI should push this to Github