{"push_id":582998749,"size":22,"distinct_size":22,"ref":"refs/heads/master","head":"ff9ffcc786ba98a4bd5138d5df8a644af9e03315","before":"dbf560f67ac2b0c21dd903fddf21434eeb88b3f7","commits":[{"sha":"195b6d881eb754d650f8b85c27e02e21d2072f8d","author":{"email":"7bac9e6673174efdffb444a7f874b7f0b97e9db6@gmail.com","name":"Bas Spitters"},"message":"Adding small git tutorial","distinct":true,"url":"https://api.github.com/repos/JasonGross/HoTT/commits/195b6d881eb754d650f8b85c27e02e21d2072f8d"},{"sha":"05bf8b766dcbf50e948bd40291b28af73bd04162","author":{"email":"7bac9e6673174efdffb444a7f874b7f0b97e9db6@gmail.com","name":"Bas Spitters"},"message":"Updating install. Moving to MD.","distinct":true,"url":"https://api.github.com/repos/JasonGross/HoTT/commits/05bf8b766dcbf50e948bd40291b28af73bd04162"},{"sha":"1e53f5825834c9ace0b9708e8b09f4adf3c6dea7","author":{"email":"7bac9e6673174efdffb444a7f874b7f0b97e9db6@gmail.com","name":"Bas Spitters"},"message":"Update INSTALL.md\n\nFixing indentation","distinct":true,"url":"https://api.github.com/repos/JasonGross/HoTT/commits/1e53f5825834c9ace0b9708e8b09f4adf3c6dea7"},{"sha":"96b4b9e52cec3327e2e658af594ec2012991f2b0","author":{"email":"7bac9e6673174efdffb444a7f874b7f0b97e9db6@gmail.com","name":"Bas Spitters"},"message":"Removing backticks","distinct":true,"url":"https://api.github.com/repos/JasonGross/HoTT/commits/96b4b9e52cec3327e2e658af594ec2012991f2b0"},{"sha":"80a8faa8dd71cbb14413b917a78834e993091fc7","author":{"email":"7bac9e6673174efdffb444a7f874b7f0b97e9db6@gmail.com","name":"Bas Spitters"},"message":"Merge branch 'install' of https://github.com/spitters/HoTT into install\n\nConflicts:\n\tINSTALL.md","distinct":true,"url":"https://api.github.com/repos/JasonGross/HoTT/commits/80a8faa8dd71cbb14413b917a78834e993091fc7"},{"sha":"c2642574c315459b7fae3a9834d6ab3d8611193d","author":{"email":"7bac9e6673174efdffb444a7f874b7f0b97e9db6@gmail.com","name":"Bas Spitters"},"message":"Fixing suggestions","distinct":true,"url":"https://api.github.com/repos/JasonGross/HoTT/commits/c2642574c315459b7fae3a9834d6ab3d8611193d"},{"sha":"23fd1bf3b69442c182cc2c268e4a3dbdec100a89","author":{"email":"7bac9e6673174efdffb444a7f874b7f0b97e9db6@gmail.com","name":"Bas Spitters"},"message":"Fixing NITs","distinct":true,"url":"https://api.github.com/repos/JasonGross/HoTT/commits/23fd1bf3b69442c182cc2c268e4a3dbdec100a89"},{"sha":"f49df2dbe387004dd7d4a6ef150fd6e1b6e6461a","author":{"email":"7bac9e6673174efdffb444a7f874b7f0b97e9db6@gmail.com","name":"Bas Spitters"},"message":"Moreover However","distinct":true,"url":"https://api.github.com/repos/JasonGross/HoTT/commits/f49df2dbe387004dd7d4a6ef150fd6e1b6e6461a"},{"sha":"e3116b99545678ef2429d3fc51fdcc06af0f441c","author":{"email":"7bac9e6673174efdffb444a7f874b7f0b97e9db6@gmail.com","name":"Bas Spitters"},"message":"Changing quotes into four spaces.","distinct":true,"url":"https://api.github.com/repos/JasonGross/HoTT/commits/e3116b99545678ef2429d3fc51fdcc06af0f441c"},{"sha":"b0b9bf5bdaa5843161c396648a983831a8dc74cf","author":{"email":"7bac9e6673174efdffb444a7f874b7f0b97e9db6@gmail.com","name":"Bas Spitters"},"message":"Removing git.md","distinct":true,"url":"https://api.github.com/repos/JasonGross/HoTT/commits/b0b9bf5bdaa5843161c396648a983831a8dc74cf"},{"sha":"ed8ca1d43191a1ff7ed9f2bd8f0828bddc4ae12b","author":{"email":"7bac9e6673174efdffb444a7f874b7f0b97e9db6@gmail.com","name":"Bas Spitters"},"message":"Fixing indentation","distinct":true,"url":"https://api.github.com/repos/JasonGross/HoTT/commits/ed8ca1d43191a1ff7ed9f2bd8f0828bddc4ae12b"},{"sha":"7bed7363c420e24f967bddc5da349b5dc3798d5c","author":{"email":"7bac9e6673174efdffb444a7f874b7f0b97e9db6@gmail.com","name":"Bas Spitters"},"message":"fixing interaction with bullets.","distinct":true,"url":"https://api.github.com/repos/JasonGross/HoTT/commits/7bed7363c420e24f967bddc5da349b5dc3798d5c"},{"sha":"8bf5806ed4facf33afd7ddf64a8f58ecc85456f2","author":{"email":"7bac9e6673174efdffb444a7f874b7f0b97e9db6@gmail.com","name":"Bas Spitters"},"message":"Really this time?","distinct":true,"url":"https://api.github.com/repos/JasonGross/HoTT/commits/8bf5806ed4facf33afd7ddf64a8f58ecc85456f2"},{"sha":"5c251da0cbdfa2088c19ffcb6cfba8711460155f","author":{"email":"7bac9e6673174efdffb444a7f874b7f0b97e9db6@gmail.com","name":"Bas Spitters"},"message":"Quotes this time","distinct":true,"url":"https://api.github.com/repos/JasonGross/HoTT/commits/5c251da0cbdfa2088c19ffcb6cfba8711460155f"},{"sha":"b884b3cf590ded76edccf315a051ae0559f6b984","author":{"email":"7bac9e6673174efdffb444a7f874b7f0b97e9db6@gmail.com","name":"Bas Spitters"},"message":"blank line","distinct":true,"url":"https://api.github.com/repos/JasonGross/HoTT/commits/b884b3cf590ded76edccf315a051ae0559f6b984"},{"sha":"8526b109ee7193bab3616951c035d67281643e03","author":{"email":"7bac9e6673174efdffb444a7f874b7f0b97e9db6@gmail.com","name":"Bas Spitters"},"message":"eight spaces within lists\nhttps://help.github.com/articles/github-flavored-markdown/","distinct":true,"url":"https://api.github.com/repos/JasonGross/HoTT/commits/8526b109ee7193bab3616951c035d67281643e03"},{"sha":"0875b4339174e5d227d949fa0d8eaa58279e9bb8","author":{"email":"7bac9e6673174efdffb444a7f874b7f0b97e9db6@gmail.com","name":"Bas Spitters"},"message":"lists and code :-(","distinct":true,"url":"https://api.github.com/repos/JasonGross/HoTT/commits/0875b4339174e5d227d949fa0d8eaa58279e9bb8"},{"sha":"664c9a4dee05e7b9528fb3fcd169c657b144836c","author":{"email":"7bac9e6673174efdffb444a7f874b7f0b97e9db6@gmail.com","name":"Bas Spitters"},"message":"Apparently sometimes 9 spaces\nThis is helpful: https://jbt.github.io/markdown-editor/","distinct":true,"url":"https://api.github.com/repos/JasonGross/HoTT/commits/664c9a4dee05e7b9528fb3fcd169c657b144836c"},{"sha":"9c3ccafb37f577de8727981ccf31fec6d5172ebc","author":{"email":"29bbaec13092d36559e3abc6f27f7d09c395819f@mit.edu","name":"Jason Gross"},"message":"Don't run coqdep when we run `make clean`\n\nWith a bit of help from stackoverflow, this is possible.","distinct":true,"url":"https://api.github.com/repos/JasonGross/HoTT/commits/9c3ccafb37f577de8727981ccf31fec6d5172ebc"},{"sha":"e91be15fb39a034ad793d4145ef93865e1545fc7","author":{"email":"29bbaec13092d36559e3abc6f27f7d09c395819f@mit.edu","name":"Jason Gross"},"message":"Make the clean target a bit quieter","distinct":true,"url":"https://api.github.com/repos/JasonGross/HoTT/commits/e91be15fb39a034ad793d4145ef93865e1545fc7"}]}