{"push_id":1079522692,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"59e00d32dc78224da6dc664fc9c96f44515e9a03","before":"6f468d673e15537684d5fdffbc2f73d88975a638","commits":[{"sha":"59e00d32dc78224da6dc664fc9c96f44515e9a03","author":{"email":"d794857f3a261131b0913d7b7c8d46da4e1882e5@stsci.edu","name":"Todd Miller"},"message":"Simplified heavy_client to access server_info.bad_files_list instead of bad_files string.\nbad_files string to be removed from server-supplied server info after this change is installed widely.\nAlso removed backward compatibility \"list_mappings()\" when .mappings not present in server info,\n.mappings now available on all servers.","distinct":true,"url":"https://api.github.com/repos/jaytmiller/crds/commits/59e00d32dc78224da6dc664fc9c96f44515e9a03"}]}