{"ref":"refs/heads/patches+subinstances","commits":[{"author":{"name":"Tom Prince","email":"13cded1f3a11b8469f2006f98a6fbe2e3c00416f@ualberta.net"},"url":"https://api.github.com/repos/tomprince/coq/commits/3721a0cd47ccf60d42e0099b24623d40a873ec7c","message":"Merge branch 'subinstances' into patches+subinstances-new\n\nConflicts:\n\ttactics/auto.ml\n\ttactics/auto.mli","sha":"3721a0cd47ccf60d42e0099b24623d40a873ec7c"}],"head":"3721a0cd47ccf60d42e0099b24623d40a873ec7c","size":1,"push_id":47876822}