{"push_id":1093716997,"size":1,"distinct_size":1,"ref":"refs/heads/cocontsubstsys","head":"2db4fde3c40ef8783393dff17d7c8799f8f43d83","before":"9f3c9781c8cb48a5294754d7c99683d3ca5916b5","commits":[{"sha":"2db4fde3c40ef8783393dff17d7c8799f8f43d83","author":{"email":"05f2701cf4f5d07841bd3db236c3df32f7d560c9@gmail.com","name":"Anders Mörtberg"},"message":"add SigToMonad to SubstSys .package/files","distinct":true,"url":"https://api.github.com/repos/mortberg/UniMath/commits/2db4fde3c40ef8783393dff17d7c8799f8f43d83"}]}