Remove gitpod (#7013)