gitpush: options bugfix