{"push_id":1471132918,"size":11,"distinct_size":11,"ref":"refs/heads/master","head":"d97186cd5d5705e6b42ccf6cc7920c1f0822f62e","before":"1f5815e5d0cdf7e6bfb4312d7b3033e696307afb","commits":[{"sha":"5dc8d87436d05b25515ffa3c32b0dd77afcfc40b","author":{"name":"Dan Licata","email":"3c267fd2eb47b7d18c32ac5f48ea6aa312d18921@cs.cmu.edu"},"message":"make different directories for different papers","distinct":true,"url":"https://api.github.com/repos/mikeshulman/cohesivett/commits/5dc8d87436d05b25515ffa3c32b0dd77afcfc40b"},{"sha":"7637dc264709dacc572d7754fdb47a6a70df16db","author":{"name":"Dan Licata","email":"3c267fd2eb47b7d18c32ac5f48ea6aa312d18921@cs.cmu.edu"},"message":"make different directories for different papers","distinct":true,"url":"https://api.github.com/repos/mikeshulman/cohesivett/commits/7637dc264709dacc572d7754fdb47a6a70df16db"},{"sha":"b6d95d24841e090d7387addef81260f1c0b86577","author":{"name":"Dan Licata","email":"3c267fd2eb47b7d18c32ac5f48ea6aa312d18921@cs.cmu.edu"},"message":"start 1-multicategorical section","distinct":true,"url":"https://api.github.com/repos/mikeshulman/cohesivett/commits/b6d95d24841e090d7387addef81260f1c0b86577"},{"sha":"8150911f14b19ad842fa701cdfa9e192b9ede215","author":{"name":"Dan Licata","email":"3c267fd2eb47b7d18c32ac5f48ea6aa312d18921@cs.cmu.edu"},"message":"before changing notation for underlying modes","distinct":true,"url":"https://api.github.com/repos/mikeshulman/cohesivett/commits/8150911f14b19ad842fa701cdfa9e192b9ede215"},{"sha":"94926a795e026084bd38e04055e1bf4f894f8330","author":{"name":"Dan Licata","email":"3c267fd2eb47b7d18c32ac5f48ea6aa312d18921@cs.cmu.edu"},"message":"work on proofs","distinct":true,"url":"https://api.github.com/repos/mikeshulman/cohesivett/commits/94926a795e026084bd38e04055e1bf4f894f8330"},{"sha":"0f5467f2ccad82a18ce1f4383e50f29f84f8fa8b","author":{"name":"Dan Licata","email":"3c267fd2eb47b7d18c32ac5f48ea6aa312d18921@cs.cmu.edu"},"message":"invertibility, sigh","distinct":true,"url":"https://api.github.com/repos/mikeshulman/cohesivett/commits/0f5467f2ccad82a18ce1f4383e50f29f84f8fa8b"},{"sha":"85a6d8c376787160d7c9221dd014a9d306812379","author":{"name":"Dan Licata","email":"3c267fd2eb47b7d18c32ac5f48ea6aa312d18921@cs.cmu.edu"},"message":"invertibility","distinct":true,"url":"https://api.github.com/repos/mikeshulman/cohesivett/commits/85a6d8c376787160d7c9221dd014a9d306812379"},{"sha":"3e4a02f6a4aeb143e19dd7321932e3a7b460b7cb","author":{"name":"Dan Licata","email":"3c267fd2eb47b7d18c32ac5f48ea6aa312d18921@cs.cmu.edu"},"message":"prove invertibility","distinct":true,"url":"https://api.github.com/repos/mikeshulman/cohesivett/commits/3e4a02f6a4aeb143e19dd7321932e3a7b460b7cb"},{"sha":"b88fc154be38abbfafff8c39566771ef953488eb","author":{"name":"Dan Licata","email":"3c267fd2eb47b7d18c32ac5f48ea6aa312d18921@cs.cmu.edu"},"message":"working on cut","distinct":true,"url":"https://api.github.com/repos/mikeshulman/cohesivett/commits/b88fc154be38abbfafff8c39566771ef953488eb"},{"sha":"2224d8f78e3d7dffe4b54c6ec4565b2f4c076bfb","author":{"name":"Dan Licata","email":"3c267fd2eb47b7d18c32ac5f48ea6aa312d18921@cs.cmu.edu"},"message":"make FL delete the assumption entirely","distinct":true,"url":"https://api.github.com/repos/mikeshulman/cohesivett/commits/2224d8f78e3d7dffe4b54c6ec4565b2f4c076bfb"},{"sha":"d97186cd5d5705e6b42ccf6cc7920c1f0822f62e","author":{"name":"Dan Licata","email":"3c267fd2eb47b7d18c32ac5f48ea6aa312d18921@cs.cmu.edu"},"message":"finish making FL delete the assumption entirely","distinct":true,"url":"https://api.github.com/repos/mikeshulman/cohesivett/commits/d97186cd5d5705e6b42ccf6cc7920c1f0822f62e"}]}
{"actor":{"display_login":"dlicata335"}}