{"push_id":1167553650,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"ad96574452df851fa901490113c2cc36f39b127d","before":"abb8b77ff2f01ccf2aead5abeaac9b30c7fd3e9f","commits":[{"sha":"ad96574452df851fa901490113c2cc36f39b127d","author":{"name":"Szymon Blaszczynski","email":"0ee08afc6ddc59b3bec58177bb9055b065f53299@icloud.com"},"message":"Dockerize it. Add basic Docker file which makes it possible to run Lean in\na container. Just 'docker build -t lean .' and 'docker run lean' in a\ndirectory with '.sln' file.","distinct":true,"url":"https://api.github.com/repos/museyoucoulduse/Lean/commits/ad96574452df851fa901490113c2cc36f39b127d"}]}
{"actor":{"display_login":"museyoucoulduse"}}