jfding/mic — Issue #12: Is this the "official" git repo for MIC? 
Author: jeremiah
Created: 2012-02-16 12:23:59+00:00
State: open

There appears to be two somewhat overlapping git repos for mic. Which one is the one that I should pull from to get the latest stable mic? I ask because the versions appear to be different as well as the versioning scheme.

Also, is the tool called mic or mic2? What is the difference between those two tools?