.gitpush was supposed to be ignored