{"shas":[["ab7741255c73d3d4c580e7d2385cf3b440814a33","a56bcc315b66bfe73b4e07a87e21b507b31b58d7@gmail.com","* Move intro_coq","wataruY"]],"repo":"wataruY/sandbox","actor":"wataruY","ref":"refs/heads/master","size":1,"head":"ab7741255c73d3d4c580e7d2385cf3b440814a33","actor_gravatar":"948f99fd9cca8f846f132e14de003254","push_id":29762043}