Well, it would appear that Detroit has indeed filed for bankruptcy:

https://news.ycombinator.com/item?id=6066361 Detroit emergency manager files bankruptcy (sfgate.com)

https://news.ycombinator.com/item?id=6066354 Detroit Files for Chapter 9 Bankruptcy (online.wsj.com)

https://news.ycombinator.com/item?id=6066318 Detroit Bankruptcy Petition (scribd.com)

https://news.ycombinator.com/item?id=6066297 Detroit files for bankruptcy (nytimes.com)

https://news.ycombinator.com/item?id=6066282 Detroit emergency manager files largest municipal bankruptcy in US history (washingtonpost.com)

https://news.ycombinator.com/item?id=6066245 Detroit files for Chapter 9 bankruptcy amid staggering debts (freep.com)