{"shas":[["0bfb8a54e99ac44b05cf66ba665f9f114ee64484","1525c1617cb29352cca00dec576add6bb4c6f7dc@columbia.edu","Updated coverage maker to put files into user directories","Ron Gejman"]],"ref":"refs/heads/master","push_id":21042370,"head":"0bfb8a54e99ac44b05cf66ba665f9f114ee64484","size":1}