git commit --amend # save with no changes
git push --force
On 10/06/2018 13:05, Sean Fagan wrote:
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-Mb3d7d51f8aab19ef12e3432b
Delivery options: https://openzfs.topicbox.com/groups
