{"head":"b356aa79790153405f82cd444bf85cd69d41b6ce","size":1,"push_id":44194624,"shas":[["b356aa79790153405f82cd444bf85cd69d41b6ce","04d98d2819faf945261d3b827ba4c12a65c36405@jimmycuadra.com","Add marvin alias for gcc with useful flags.","Jimmy Cuadra"]],"ref":"refs/heads/master"}