On Tuesday, March 8, 2016 at 3:55:03 PM UTC-6, Andreas Noack wrote:
>
> No problem. When you have made a change like this, i.e. a hard reset or a
> rebase and want to push the changes to an existing branch you'll have to
>
> git push --force origin glmms
>
> because git is trying to prevent you from making a non-recoverable change
> to your repo. The reason is that when you have made this push, you cannot
> recover the commit you are trying to remove from the git history.
>
Thanks. I think things are settled now.
