{"push_id":696386203,"size":1,"distinct_size":1,"ref":"refs/heads/dev","head":"acc63321ccf9520b21a3ac74d8aab8c982a277c8","before":"be693161921098cc25dc54661bf1d39a6e6ce6e6","commits":[{"sha":"acc63321ccf9520b21a3ac74d8aab8c982a277c8","author":{"email":"e5dde5c9b235fcbea83b849d5bf49002b5ae0399@gmail.com","name":"Ting-Yen Lai"},"message":"remove all goals before loading the new ones","distinct":true,"url":"https://api.github.com/repos/banacorn/agda-mode/commits/acc63321ccf9520b21a3ac74d8aab8c982a277c8"}]}