{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":610819548,"defaultBranch":"master","name":"UniMath","ownerLogin":"Bigstep22","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2023-03-07T14:47:39.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/17308997?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1680097662.0295591","currentOid":""},"activityList":{"items":[{"before":"60f1ee6c5590cf131921ffea7ec8ae49265b7562","after":"ff27f5cdce651bcc221c3432f958b22a8459929b","ref":"refs/heads/master","pushedAt":"2023-05-05T12:46:17.000Z","pushType":"push","commitsCount":20,"pusher":{"login":"Bigstep22","name":"Eben Rogers","path":"/Bigstep22","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17308997?s=80&v=4"},"commit":{"message":"Merge branch 'master' into master","shortMessageHtmlLink":"Merge branch 'master' into master"}},{"before":null,"after":"60f1ee6c5590cf131921ffea7ec8ae49265b7562","ref":"refs/heads/alectryon","pushedAt":"2023-03-29T13:47:42.029Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Bigstep22","name":"Eben Rogers","path":"/Bigstep22","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17308997?s=80&v=4"},"commit":{"message":"Remove the use of the -type-in-type flag for the Makefile and dune build systems","shortMessageHtmlLink":"Remove the use of the -type-in-type flag for the Makefile and dune bu…"}},{"before":"5b7ec5d76b8a8098b846afccf419faf0ca15bc0c","after":"60f1ee6c5590cf131921ffea7ec8ae49265b7562","ref":"refs/heads/master","pushedAt":"2023-03-29T13:04:14.756Z","pushType":"push","commitsCount":1,"pusher":{"login":"Bigstep22","name":"Eben Rogers","path":"/Bigstep22","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17308997?s=80&v=4"},"commit":{"message":"Remove the use of the -type-in-type flag for the Makefile and dune build systems","shortMessageHtmlLink":"Remove the use of the -type-in-type flag for the Makefile and dune bu…"}},{"before":"f9175188be00f0da516adafc6f1cda0336ddc95a","after":"5b7ec5d76b8a8098b846afccf419faf0ca15bc0c","ref":"refs/heads/master","pushedAt":"2023-03-24T16:22:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Bigstep22","name":"Eben Rogers","path":"/Bigstep22","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17308997?s=80&v=4"},"commit":{"message":"Remove incorrectly committed alectryon.js file","shortMessageHtmlLink":"Remove incorrectly committed alectryon.js file"}},{"before":"80a98d64ac30dbf20552da596f9051858eeeed72","after":"f9175188be00f0da516adafc6f1cda0336ddc95a","ref":"refs/heads/master","pushedAt":"2023-03-24T16:07:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Bigstep22","name":"Eben Rogers","path":"/Bigstep22","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17308997?s=80&v=4"},"commit":{"message":"Add the Unsetting of Universe Checking to the Init.v file","shortMessageHtmlLink":"Add the Unsetting of Universe Checking to the Init.v file"}},{"before":"4b8068ea9e6160f5389c038ccb4d8d59b3d0fdfe","after":"80a98d64ac30dbf20552da596f9051858eeeed72","ref":"refs/heads/master","pushedAt":"2023-03-24T15:42:41.756Z","pushType":"push","commitsCount":135,"pusher":{"login":"Bigstep22","name":"Eben Rogers","path":"/Bigstep22","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17308997?s=80&v=4"},"commit":{"message":"Merge branch 'UniMath:master' into master","shortMessageHtmlLink":"Merge branch 'UniMath:master' into master"}},{"before":"69be1f91b10a7c8742ecebde54021bfecd3a1880","after":"4b8068ea9e6160f5389c038ccb4d8d59b3d0fdfe","ref":"refs/heads/master","pushedAt":"2023-03-07T14:50:28.232Z","pushType":"push","commitsCount":1,"pusher":{"login":"Bigstep22","name":"Eben Rogers","path":"/Bigstep22","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17308997?s=80&v=4"},"commit":{"message":"Add alectryon submodule","shortMessageHtmlLink":"Add alectryon submodule"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADJstbtwA","startCursor":null,"endCursor":null}},"title":"Activity · Bigstep22/UniMath"}