Me too, I've moved to Dynadot for my domain needs after this incident...
What techcrunch doesn't make clear is that this wasn't just some inter-registrar communication problem. Godaddy itself was selling the same domain names over and over and over for hours!