From: Remi Galan Alfonso <remi.galan-alfonso@ensimag.grenoble-inp.fr>
Date: Thu, 31 Mar 2016 07:59:38 GMT
Subject: Re: [RFC/GSOC] Git Beginner | Warnings for potentially destructive commands (v2)
Message-ID: <1915268342.2536406.1459411178113.JavaMail.zimbra@ensimag.grenoble-inp.fr>
In-Reply-To: <56FBF760.3040106@gmail.com>

Sidhant Sharma <tigerkid001@gmail.com> wrote:
> $ ggit push --force
> 
> Pushing changes to $REMOTE/$BRANCH
> [WARNING] You are about to purge commits from the $REMOTE/$BRANCH branch and
> overwrite it's history to match yours.
> For instance, assume the following history exists where 'origin' is
> a configured remote and the current branch is master:
> 
>         o---o---o---A---B  origin/master
>              \
>               X---Y---Z  your master
> 
> After force push:
> 
>         o---o---o---X---Y---Z  origin/master and your master

It should be:

        o---o---X---Y---Z  origin/master and your master

(The last 'o' commit should have been overwritten by the force push)

Thanks,
Rémi