You can edit history after a push, it's just not recommended. In fact, rebasing in general is not recommended.
git push -f will update the remote after a rewrite. If you have other people reading that source then doing a push -f after rewriting will mess up their repos.
All necessary stuff is in there. There are also some examples. See also man git-rebase, man git-push. It's all explained there, just take your time to read it.
You can edit history after a push, it's just not recommended. In fact, rebasing in general is not recommended.
git push -f
will update the remote after a rewrite. If you have other people reading that source then doing a push -f after rewriting will mess up their repos.I think that you are interested about:
All necessary stuff is in there. There are also some examples. See also
man git-rebase
,man git-push
. It's all explained there, just take your time to read it.