{"push_id":1374973823,"size":1,"distinct_size":1,"ref":"refs/heads/emacs-info-buffer","head":"26c16451e9fed4c2a3e7b696e9d3c2e48a04c288","before":"a01e58e19769990fc63e68a9559840c84ed06f59","commits":[{"sha":"26c16451e9fed4c2a3e7b696e9d3c2e48a04c288","author":{"name":"Gabriel Ebner","email":"1b660fb788ccf92c8293f42098059e11385ec300@gebner.org"},"message":"fix(frontends/lean/server): fix relative dependency lookups","distinct":true,"url":"https://api.github.com/repos/gebner/lean/commits/26c16451e9fed4c2a3e7b696e9d3c2e48a04c288"}]}
{"actor":{"display_login":"gebner"}}