{"head":"21734c3bb5e6f58f20f554665d92f3e56f4c6af6","size":1,"push_id":45616141,"shas":[["21734c3bb5e6f58f20f554665d92f3e56f4c6af6","ea9d43cd896d6f696aedaeedd053c1a15cb40641@gmail.com","gave more insights about how merges should be going","Christophe-Marie Duquesne"]],"ref":"refs/heads/master"}