Closed CrazyPython closed 8 years ago
Yeah! deleted absolutely everything on newdev!
Hopefully git will be more cooperative after this...
@casperdcl Any idea how to force a merge on GitHub or w/ the command line? 😕
like this?
@casperdcl Yes, like that. Now we need to work on merging main with o11c's progress.
He'll be gone for a few days, so let's further his progress.