Simon Peyton Jones
simonpj at microsoft.com
Fri Oct 31 11:11:25 UTC 2014
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!
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the ghc-devs