{"shas":[["8023497e9920eca77f4bce4d481742251f14617c","497caf2166bfab84a6c391b39b447fca865d35da@telecom-paristech.fr","sync reset","Jan"]],"ref":"refs/heads/master","size":1,"head":"8023497e9920eca77f4bce4d481742251f14617c","push_id":35479435}