{"push_id":908794342,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"aa5d29c41d416f3e787b04637ae4f44d909d6751","before":"9fbe43e7d54e2a480b49789345e9afb56be2e4bc","commits":[{"sha":"ff40102fbe96eeb744ffcc094e35d188785028c3","author":{"email":"e7a017b5939f8dcb9df81f599e27524d46b3abd3@hasufell.de","name":"Julian Ospald"},"message":"GUI: allow deletion of non-empty directories","distinct":true,"url":"https://api.github.com/repos/hasufell/hsfm/commits/ff40102fbe96eeb744ffcc094e35d188785028c3"},{"sha":"aa5d29c41d416f3e787b04637ae4f44d909d6751","author":{"email":"e7a017b5939f8dcb9df81f599e27524d46b3abd3@hasufell.de","name":"Julian Ospald"},"message":"LIB: speed up copyDir\n\nInstead of using zipLazy (which does more IO than we need)\nwe just construct the newDest zipper from the information we\nalready have. This should be sufficient.","distinct":true,"url":"https://api.github.com/repos/hasufell/hsfm/commits/aa5d29c41d416f3e787b04637ae4f44d909d6751"}]}