{"push_id":901215052,"size":1,"distinct_size":1,"ref":"refs/heads/agda","head":"e9a2365e3ebb91b776e58e0405f0840fafcb9865","before":"7c527ac7d83dfa3ff7ba901fe64feb823aa8d78c","commits":[{"sha":"e9a2365e3ebb91b776e58e0405f0840fafcb9865","author":{"email":"46952c1342d5ce1a4f5689855eda3c9064bca8f6@gmail.com","name":"Alex Dunn"},"message":"agda: make Emacs a build dep\n\nAlso bump the minimum version: https://github.com/agda/agda/blob/eeabf71ad917b6aeecbbddac6dae6a58fc0d9554/src/data/emacs-mode/agda2-mode.el#L37","distinct":true,"url":"https://api.github.com/repos/dunn/homebrew/commits/e9a2365e3ebb91b776e58e0405f0840fafcb9865"}]}