git question

Daniel Trstenjak daniel.trstenjak at gmail.com
Fri Oct 31 11:22:54 UTC 2014


Hi Simon,

> Now I want to rebase to clean up.  Can I just do a local rebase and then git
> push?  Nothing special about the push?

You will most likely need to add a '--force' to your push, to overwrite
the branch in the remote repo.


Greetings,
Daniel


More information about the ghc-devs mailing list