{"push_id":1439758343,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"026be2538c2adc837cb211434e1e8d0822542f7f","before":"d89f3fab2db87ac0fa7a1935056036f45b3680d9","commits":[{"sha":"026be2538c2adc837cb211434e1e8d0822542f7f","author":{"name":"30059569","email":"4361cf3076f4e329e5a5fbc58452abfae9c121e8@students.mq.edu.au"},"message":"Dropped, Lifted, and Levitated Lattices ported from GHC Algebra.Lattice\nRenamed 'Semilattice' to 'SemiLattice' so as to be consistent with the GHC library","distinct":true,"url":"https://api.github.com/repos/drinkinglizard/Idris-dev/commits/026be2538c2adc837cb211434e1e8d0822542f7f"}]}
{"actor":{"display_login":"drinkinglizard"}}