{"push_id":1895735692,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"5d37f9cddb2a03ef401689a212c0617340008f48","before":"b3df8507d0949d684bbab2376a5b9e926744975b","commits":[{"sha":"00efb338ffc61def70a3deb5aebc47d1f76203de","author":{"name":"Christophe Calvès","email":"f31686c7a6de1e0ff5d8a600742e74be019845f9@gmail.com"},"message":"Fix undeclared variable in node runtime","distinct":true,"url":"https://api.github.com/repos/idris-lang/Idris-dev/commits/00efb338ffc61def70a3deb5aebc47d1f76203de"},{"sha":"5d37f9cddb2a03ef401689a212c0617340008f48","author":{"name":"Niklas Larsson","email":"f00ad0a60710e0eb5b699b4c9fdbf02e147c6c43@gmail.com"},"message":"Merge pull request #3959 from christophe-calves/fix/master/undeclared-variable-in-jsrts\n\nFix undeclared variable in node runtime","distinct":true,"url":"https://api.github.com/repos/idris-lang/Idris-dev/commits/5d37f9cddb2a03ef401689a212c0617340008f48"}]}
{"actor":{"display_login":"melted"}}