{"push_id":845803319,"size":4,"distinct_size":4,"ref":"refs/heads/contexts","head":"1a2f4986dc75987e0029c18850bfb7cabfab1b10","before":"a65733257cc057021b72c3722f811768ed7f8fc0","commits":[{"sha":"97610437fdffbb909a6071bf1b1fad659df95d51","author":{"email":"9cab395a682ed00a78c031084cd2500c6701b47a@andrej.com","name":"Andrej Bauer"},"message":"Sane syntax for where","distinct":true,"url":"https://api.github.com/repos/andrejbauer/andromeda/commits/97610437fdffbb909a6071bf1b1fad659df95d51"},{"sha":"68eecb08f0720272aabc750c4df7e96663430e62","author":{"email":"9cab395a682ed00a78c031084cd2500c6701b47a@andrej.com","name":"Andrej Bauer"},"message":"Merge branch 'contexts' of https://github.com/andrejbauer/andromeda into contexts","distinct":true,"url":"https://api.github.com/repos/andrejbauer/andromeda/commits/68eecb08f0720272aabc750c4df7e96663430e62"},{"sha":"1e585ea26246dcc1a10bc896b8c40122563018a5","author":{"email":"9cab395a682ed00a78c031084cd2500c6701b47a@andrej.com","name":"Andrej Bauer"},"message":"Correctly handle handled atoms in Context.join","distinct":true,"url":"https://api.github.com/repos/andrejbauer/andromeda/commits/1e585ea26246dcc1a10bc896b8c40122563018a5"},{"sha":"1a2f4986dc75987e0029c18850bfb7cabfab1b10","author":{"email":"9cab395a682ed00a78c031084cd2500c6701b47a@andrej.com","name":"Andrej Bauer"},"message":"Implement topolgoical sort for future use.","distinct":true,"url":"https://api.github.com/repos/andrejbauer/andromeda/commits/1a2f4986dc75987e0029c18850bfb7cabfab1b10"}]}