On Jun 10, 2018, at 8:00 AM, Igor Kozhukhov <i...@dilos.org> wrote:
> 
> you can do:
> git push -f
> and it will update remote repo.

No, it won’t:

% git push --force
Everything up-to-date

I tried that, and several variants :).


------------------------------------------
openzfs: openzfs-developer
Permalink: 
https://openzfs.topicbox.com/groups/developer/T6e124cbb2c8562a8-Mfb89ff7f4d16c1c83fa637f3
Delivery options: https://openzfs.topicbox.com/groups

Reply via email to