{"shas":[["4453d23f5f6f1853ade0fa1c88a2e1b282b44d94","b0e1ab679ae83ee9ff3d9122668a213a483a130d@gmail.com","Agda: haskell-agda + agda-executable","Nicolas Pouillard"],["4cf1f311ccaafb3d4aa83a353e3e2662857f8264","069f3482a520afbcd7b153a86384843e1937be01@cryp.to","Merge branch 'upstream/habs' into refs/top-bases/master","Peter Simons"],["28ee07330e6cc33a164ba4c0d4272ebb6431f40d","069f3482a520afbcd7b153a86384843e1937be01@cryp.to","Merge commit 'refs/top-bases/master'","Peter Simons"]],"repo":"peti/arch-haskell","actor":"peti","ref":"refs/heads/master","size":3,"head":"28ee07330e6cc33a164ba4c0d4272ebb6431f40d","actor_gravatar":"930c28082137d9918a90608c665c5af2","push_id":24596174}