{"push_id":1132341846,"size":17,"distinct_size":1,"ref":"refs/heads/master","head":"14726a000a4666b847763d8729019e42018d5fd2","before":"ac053c5d7f12f872a105f9108ebd4b4407631c42","commits":[{"sha":"887c16657ece0ab38e74103dc6e99f2c2b52a879","author":{"name":"Matej Kosik","email":"da39a3ee5e6b4b0d3255bfef95601890afd80709"},"message":"updating submodule HEADs","distinct":false,"url":"https://api.github.com/repos/matej-kosik/coq-contribs/commits/887c16657ece0ab38e74103dc6e99f2c2b52a879"},{"sha":"5a9b5adb61ee863c943253dd04f30147e3376251","author":{"name":"Matej Kosik","email":"da39a3ee5e6b4b0d3255bfef95601890afd80709"},"message":"updating submodule HEADs","distinct":false,"url":"https://api.github.com/repos/matej-kosik/coq-contribs/commits/5a9b5adb61ee863c943253dd04f30147e3376251"},{"sha":"348cbb88e4a90ac30da559c47f32e431c7d27c0d","author":{"name":"Matej Kosik","email":"da39a3ee5e6b4b0d3255bfef95601890afd80709"},"message":"updating submodule HEADs","distinct":false,"url":"https://api.github.com/repos/matej-kosik/coq-contribs/commits/348cbb88e4a90ac30da559c47f32e431c7d27c0d"},{"sha":"f06d2d797436372ecb534092e4426054f5f3b0d2","author":{"name":"Matej Kosik","email":"da39a3ee5e6b4b0d3255bfef95601890afd80709"},"message":"CLEANUP: removing \"scripts\" directory","distinct":false,"url":"https://api.github.com/repos/matej-kosik/coq-contribs/commits/f06d2d797436372ecb534092e4426054f5f3b0d2"},{"sha":"4284d66c4e0e10ebad4b8c919bec6721e432789a","author":{"name":"Matej Kosik","email":"da39a3ee5e6b4b0d3255bfef95601890afd80709"},"message":"updating submodule HEADs","distinct":false,"url":"https://api.github.com/repos/matej-kosik/coq-contribs/commits/4284d66c4e0e10ebad4b8c919bec6721e432789a"},{"sha":"c9b4693f66878fc507c3a79433137ee1793eaa58","author":{"name":"Matej Kosik","email":"da39a3ee5e6b4b0d3255bfef95601890afd80709"},"message":"updating submodule HEADs","distinct":false,"url":"https://api.github.com/repos/matej-kosik/coq-contribs/commits/c9b4693f66878fc507c3a79433137ee1793eaa58"},{"sha":"90dd5a5ca64670c4a7ff73b36e0d9c9df262e71a","author":{"name":"Matej Kosik","email":"da39a3ee5e6b4b0d3255bfef95601890afd80709"},"message":"Merge branch 'v8.5' of https://github.com/coq-contribs/coq-contribs into v8.5","distinct":false,"url":"https://api.github.com/repos/matej-kosik/coq-contribs/commits/90dd5a5ca64670c4a7ff73b36e0d9c9df262e71a"},{"sha":"4a8d5ecb9222d5c0c15ba32a894d34c2e10bcb22","author":{"name":"Matej Kosik","email":"da39a3ee5e6b4b0d3255bfef95601890afd80709"},"message":"updating submodule HEADs","distinct":false,"url":"https://api.github.com/repos/matej-kosik/coq-contribs/commits/4a8d5ecb9222d5c0c15ba32a894d34c2e10bcb22"},{"sha":"9c4111202bec7cf2adf5181d06c15d3595023fed","author":{"name":"Matej Kosik","email":"da39a3ee5e6b4b0d3255bfef95601890afd80709"},"message":"Adding a file that summarizes common properties of all coq-contribs.","distinct":false,"url":"https://api.github.com/repos/matej-kosik/coq-contribs/commits/9c4111202bec7cf2adf5181d06c15d3595023fed"},{"sha":"17bad2d1fe298f31b965786be6cff0829028adec","author":{"name":"Matej Kosik","email":"da39a3ee5e6b4b0d3255bfef95601890afd80709"},"message":"updating submodule HEADs","distinct":false,"url":"https://api.github.com/repos/matej-kosik/coq-contribs/commits/17bad2d1fe298f31b965786be6cff0829028adec"},{"sha":"556c1c7d73e84463eecf061bf965ca451bfeacec","author":{"name":"Matej Kosik","email":"da39a3ee5e6b4b0d3255bfef95601890afd80709"},"message":"updating submodule HEADs","distinct":false,"url":"https://api.github.com/repos/matej-kosik/coq-contribs/commits/556c1c7d73e84463eecf061bf965ca451bfeacec"},{"sha":"a8d36313c725c4e27895630e172316891212453a","author":{"name":"Matej Kosik","email":"da39a3ee5e6b4b0d3255bfef95601890afd80709"},"message":"removing \"bisect-coq\"","distinct":false,"url":"https://api.github.com/repos/matej-kosik/coq-contribs/commits/a8d36313c725c4e27895630e172316891212453a"},{"sha":"165eb895f5595ae0cafa79a56c7ae12cca6953c7","author":{"name":"Matej Kosik","email":"da39a3ee5e6b4b0d3255bfef95601890afd80709"},"message":"correcting the reference to \"aac-tactics\" in \".gitmodules\"","distinct":false,"url":"https://api.github.com/repos/matej-kosik/coq-contribs/commits/165eb895f5595ae0cafa79a56c7ae12cca6953c7"},{"sha":"87fda5017c7a366be0af788b96fffee13fc2638d","author":{"name":"Matej Kosik","email":"da39a3ee5e6b4b0d3255bfef95601890afd80709"},"message":"updating submodule HEADs","distinct":false,"url":"https://api.github.com/repos/matej-kosik/coq-contribs/commits/87fda5017c7a366be0af788b96fffee13fc2638d"},{"sha":"596c14c67e902c0255f70c50a895d2a7e92fc948","author":{"name":"Matej Kosik","email":"da39a3ee5e6b4b0d3255bfef95601890afd80709"},"message":"updating \"NOTES\"","distinct":false,"url":"https://api.github.com/repos/matej-kosik/coq-contribs/commits/596c14c67e902c0255f70c50a895d2a7e92fc948"},{"sha":"cb373010bd7de86d2e6ef463be10e971854e4ab8","author":{"name":"Matej Kosik","email":"da39a3ee5e6b4b0d3255bfef95601890afd80709"},"message":"adding \"math-classes\"","distinct":false,"url":"https://api.github.com/repos/matej-kosik/coq-contribs/commits/cb373010bd7de86d2e6ef463be10e971854e4ab8"},{"sha":"14726a000a4666b847763d8729019e42018d5fd2","author":{"name":"Matej Kosik","email":"da39a3ee5e6b4b0d3255bfef95601890afd80709"},"message":"merging \"v8.5\"","distinct":true,"url":"https://api.github.com/repos/matej-kosik/coq-contribs/commits/14726a000a4666b847763d8729019e42018d5fd2"}]}
{"actor":{"display_login":"matej-kosik"}}