{"push_id":3121597545,"size":1,"distinct_size":1,"ref":"refs/heads/shadowing","head":"987c924fcdd29e19471bfecc5f1616a22ebc7ae9","before":"189a717eb68feddfa5fce7ef04820e3dd981b406","commits":[{"sha":"987c924fcdd29e19471bfecc5f1616a22ebc7ae9","author":{"name":"Jesper Cockx","email":"e3c7ff9230a78519a00220830d65110ea0beeed2@sikanda.be"},"message":"[ re #572 ] Explicitly show renaming of shadowed variables","distinct":true,"url":"https://api.github.com/repos/jespercockx/agda/commits/987c924fcdd29e19471bfecc5f1616a22ebc7ae9"}]}
{"actor":{"display_login":"jespercockx"}}