26 Jun
2014
26 Jun
'14
3:31 p.m.
| > - if I have a tree with a bunch of as-yet-unpushed commits, what do I | > do? | | If you have as-yet-unpushed commits in ghc.git, there shouldn't be | anything special to handle. Or were you referring to the case of having | unpushed commits in the converted sub-repos? I meant mainly in ghc.git, so what you say is reassuring. Thank you! Simon