Re: [Opinion gathering] Git remote whitelist/blacklist

From: Junio C Hamano <gitster@pobox.com>
Date: May 24, 2016, 16:07 UTC
Message-ID: <CAPc5daURo8SkbeGf0MEsp0sLzdzFfUOxptgusFr58UG9SKmDAA@mail.gmail.com>
In-Reply-To: <vpq37p74nu1.fsf@anie.imag.fr>

On Tue, May 24, 2016 at 5:55 AM, Matthieu Moy <Matthieu.Moy@grenoble-inp.fr> wrote:

Show 6 quoted lines

> So, when trying a forbidden push, Git would deny it and the only way to
> force the push would be to remove the blacklist from the config, right?
>
> Probably the sanest way to go. I thought about adding a "git push
> --force-even-if-in-blacklist" or so, but I don't think the feature
> deserves one specific option (hence add some noise in `git push -h`).

Yeah, I agree --even-if-in-blacklist is a road to madness, but I wonder how this is different from setting pushURL to /dev/null or something illegal and replace that phony configuration value when you really need to push?