git question

Simon Peyton Jones simonpj at microsoft.com
Fri Oct 31 11:11:25 UTC 2014


Friends

I am working on wip/new-flatten-skolems-Oct14.  I have pushed lots of patches up to the main repo.

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

I know that will confuse anyone who is pulling from that branch, but I've warned them!

Simon

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/ghc-devs/attachments/20141031/3592ab70/attachment-0001.html>


More information about the ghc-devs mailing list