{"head":"cd1d758095bd515f522ebf2bccdc8ad339392884","size":3,"push_id":44621211,"shas":[["69dc269567523cbe9bf2c1b8382afd8c7669f880","9d87f9a735f43d52ecee68f10650e2e5dc3d5ebc@vanrees.org","Corrected lizard-ui link and added lizard-map","Reinout van Rees"],["783662e5642e06490c2b7e082e12156d1c02feb9","9d87f9a735f43d52ecee68f10650e2e5dc3d5ebc@vanrees.org","no lizard-map checkouts in ourselves, of course","Reinout van Rees"],["cd1d758095bd515f522ebf2bccdc8ad339392884","9d87f9a735f43d52ecee68f10650e2e5dc3d5ebc@vanrees.org","Noting move to github","Reinout van Rees"]],"ref":"refs/heads/master"}