The CI should not push this to Github