At 14:55 +0200 24 May 2016, Matthieu Moy <matthieu....@grenoble-inp.fr> wrote:
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`).
It might make sense to bypass the blacklist checking if the existing
--no-verify is used. In the past I've used a pre-push hook to implement
a similar method of preventing accidental pushes, and found that to be a
good way to skip the checking when I wanted to override the check for a
specific push. The builtin blacklist checking could be seen as another
type of verification. The downside to that would be that if the
blacklist was used along with a pre-push hook for different types of
checks users would likely only be able to see the error message from one
of them; but that could also apply to a pre-push hook that implements
different types of checks and short circuits at the first failure.
--
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majord...@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html