{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":244668714,"defaultBranch":"master","name":"coq-hylomorphisms","ownerLogin":"dcastrop","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2020-03-03T15:13:55.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/6087999?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1708979660.0","currentOid":""},"activityList":{"items":[{"before":"280b18a642fd66f44cde4c5df0a42b6313c679ef","after":"8ab7eb516a8f5e6c44e43411d39d8e5a02f5445e","ref":"refs/heads/master","pushedAt":"2024-04-24T17:05:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dcastrop","name":"David Castro-Perez","path":"/dcastrop","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6087999?s=80&v=4"},"commit":{"message":"Abstract","shortMessageHtmlLink":"Abstract"}},{"before":"c01deb85af1c719bd988b198c13604363bc16fbc","after":"280b18a642fd66f44cde4c5df0a42b6313c679ef","ref":"refs/heads/master","pushedAt":"2024-04-08T13:22:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dcastrop","name":"David Castro-Perez","path":"/dcastrop","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6087999?s=80&v=4"},"commit":{"message":"changes to make it compatible with Coq 8.19","shortMessageHtmlLink":"changes to make it compatible with Coq 8.19"}},{"before":"9babfad9b7242737a03a4075a21f0a0a10bd331e","after":"c01deb85af1c719bd988b198c13604363bc16fbc","ref":"refs/heads/master","pushedAt":"2024-03-25T17:35:59.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"mpaviotti","name":"Marco Paviotti","path":"/mpaviotti","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3659343?s=80&v=4"},"commit":{"message":"Merge branch 'master' of github.com:dcastrop/coq-hylomorphisms","shortMessageHtmlLink":"Merge branch 'master' of github.com:dcastrop/coq-hylomorphisms"}},{"before":"650fed0cf20fd51bbc9922631de3c39bfac5c1e7","after":"9babfad9b7242737a03a4075a21f0a0a10bd331e","ref":"refs/heads/master","pushedAt":"2024-03-19T12:01:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dcastrop","name":"David Castro-Perez","path":"/dcastrop","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6087999?s=80&v=4"},"commit":{"message":"stuff","shortMessageHtmlLink":"stuff"}},{"before":"c6467cce0d9b12827607c9aa029319b4db645749","after":"650fed0cf20fd51bbc9922631de3c39bfac5c1e7","ref":"refs/heads/master","pushedAt":"2024-03-19T11:58:45.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"mpaviotti","name":"Marco Paviotti","path":"/mpaviotti","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3659343?s=80&v=4"},"commit":{"message":"Merge branch 'master' of github.com:dcastrop/coq-hylomorphisms","shortMessageHtmlLink":"Merge branch 'master' of github.com:dcastrop/coq-hylomorphisms"}},{"before":"dd8c2e9606cc31f8411aa01e6f2907202a8fe894","after":"c6467cce0d9b12827607c9aa029319b4db645749","ref":"refs/heads/master","pushedAt":"2024-03-19T11:39:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dcastrop","name":"David Castro-Perez","path":"/dcastrop","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6087999?s=80&v=4"},"commit":{"message":"fixes","shortMessageHtmlLink":"fixes"}},{"before":"09df32199ba38ff1c54c8cae6f4d3b0486557db3","after":"dd8c2e9606cc31f8411aa01e6f2907202a8fe894","ref":"refs/heads/master","pushedAt":"2024-03-18T23:42:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dcastrop","name":"David Castro-Perez","path":"/dcastrop","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6087999?s=80&v=4"},"commit":{"message":"abstract","shortMessageHtmlLink":"abstract"}},{"before":"67286d4c7cba6575e47c28bc82339cea297e4b43","after":"09df32199ba38ff1c54c8cae6f4d3b0486557db3","ref":"refs/heads/master","pushedAt":"2024-03-18T23:40:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dcastrop","name":"David Castro-Perez","path":"/dcastrop","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6087999?s=80&v=4"},"commit":{"message":"Script to generate zip file","shortMessageHtmlLink":"Script to generate zip file"}},{"before":"871db4bf471525a4d05a8c029c09959e31b367e5","after":"67286d4c7cba6575e47c28bc82339cea297e4b43","ref":"refs/heads/master","pushedAt":"2024-03-18T23:36:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dcastrop","name":"David Castro-Perez","path":"/dcastrop","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6087999?s=80&v=4"},"commit":{"message":"archive subdirectory","shortMessageHtmlLink":"archive subdirectory"}},{"before":"3747f9392ba9009e82376053e60c3ae36b0e10fc","after":"871db4bf471525a4d05a8c029c09959e31b367e5","ref":"refs/heads/master","pushedAt":"2024-03-18T23:35:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dcastrop","name":"David Castro-Perez","path":"/dcastrop","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6087999?s=80&v=4"},"commit":{"message":"Gitattributes","shortMessageHtmlLink":"Gitattributes"}},{"before":"aa380634d2f9eee349d039c872ca40c071ed4601","after":"3747f9392ba9009e82376053e60c3ae36b0e10fc","ref":"refs/heads/master","pushedAt":"2024-03-18T22:41:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dcastrop","name":"David Castro-Perez","path":"/dcastrop","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6087999?s=80&v=4"},"commit":{"message":"Gitattributes","shortMessageHtmlLink":"Gitattributes"}},{"before":"07735d981a1fe0beb4a319f5a365c7eff6cea873","after":"aa380634d2f9eee349d039c872ca40c071ed4601","ref":"refs/heads/master","pushedAt":"2024-03-18T22:27:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dcastrop","name":"David Castro-Perez","path":"/dcastrop","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6087999?s=80&v=4"},"commit":{"message":"abstract","shortMessageHtmlLink":"abstract"}},{"before":"73eaa6b11d8e63492cd73721979d240deb98ef84","after":"07735d981a1fe0beb4a319f5a365c7eff6cea873","ref":"refs/heads/master","pushedAt":"2024-03-18T22:25:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dcastrop","name":"David Castro-Perez","path":"/dcastrop","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6087999?s=80&v=4"},"commit":{"message":"attempt at gitattributes","shortMessageHtmlLink":"attempt at gitattributes"}},{"before":"3965951c9c338aebeb82b9c06d52c326136f969b","after":"73eaa6b11d8e63492cd73721979d240deb98ef84","ref":"refs/heads/master","pushedAt":"2024-03-18T21:58:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dcastrop","name":"David Castro-Perez","path":"/dcastrop","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6087999?s=80&v=4"},"commit":{"message":"Fixes","shortMessageHtmlLink":"Fixes"}},{"before":"d24b957adf8a80ccafff3a610309807f5108bccb","after":"3965951c9c338aebeb82b9c06d52c326136f969b","ref":"refs/heads/master","pushedAt":"2024-03-18T21:51:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dcastrop","name":"David Castro-Perez","path":"/dcastrop","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6087999?s=80&v=4"},"commit":{"message":"Gitattributes","shortMessageHtmlLink":"Gitattributes"}},{"before":"90e08e9de33557838f92a112dc92a39878c4f0b2","after":"d24b957adf8a80ccafff3a610309807f5108bccb","ref":"refs/heads/master","pushedAt":"2024-03-18T21:48:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dcastrop","name":"David Castro-Perez","path":"/dcastrop","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6087999?s=80&v=4"},"commit":{"message":"Refs","shortMessageHtmlLink":"Refs"}},{"before":"2cb20213b085568fe82877eea19c4f17633e8c35","after":"90e08e9de33557838f92a112dc92a39878c4f0b2","ref":"refs/heads/master","pushedAt":"2024-03-18T21:45:33.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"mpaviotti","name":"Marco Paviotti","path":"/mpaviotti","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3659343?s=80&v=4"},"commit":{"message":"Merge branch 'master' of github.com:dcastrop/coq-hylomorphisms","shortMessageHtmlLink":"Merge branch 'master' of github.com:dcastrop/coq-hylomorphisms"}},{"before":"7d68f252abe7849976c0e97289b6c318b9436525","after":"2cb20213b085568fe82877eea19c4f17633e8c35","ref":"refs/heads/master","pushedAt":"2024-03-18T21:13:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dcastrop","name":"David Castro-Perez","path":"/dcastrop","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6087999?s=80&v=4"},"commit":{"message":"Refs","shortMessageHtmlLink":"Refs"}},{"before":"5530d6053d879e1068e62fc2b6e8ae6c13c03c86","after":"7d68f252abe7849976c0e97289b6c318b9436525","ref":"refs/heads/master","pushedAt":"2024-03-18T21:09:19.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"mpaviotti","name":"Marco Paviotti","path":"/mpaviotti","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3659343?s=80&v=4"},"commit":{"message":"Merge branch 'master' of github.com:dcastrop/coq-hylomorphisms","shortMessageHtmlLink":"Merge branch 'master' of github.com:dcastrop/coq-hylomorphisms"}},{"before":"5bba7646ac68b03f973e361ec168ed06154ab782","after":"5530d6053d879e1068e62fc2b6e8ae6c13c03c86","ref":"refs/heads/master","pushedAt":"2024-03-18T20:51:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dcastrop","name":"David Castro-Perez","path":"/dcastrop","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6087999?s=80&v=4"},"commit":{"message":"Refs","shortMessageHtmlLink":"Refs"}},{"before":"43a4c51e6c779f4d0679c2658ab35f2325279387","after":"5bba7646ac68b03f973e361ec168ed06154ab782","ref":"refs/heads/master","pushedAt":"2024-03-18T20:51:06.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"mpaviotti","name":"Marco Paviotti","path":"/mpaviotti","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3659343?s=80&v=4"},"commit":{"message":"Merge branch 'master' of github.com:dcastrop/coq-hylomorphisms","shortMessageHtmlLink":"Merge branch 'master' of github.com:dcastrop/coq-hylomorphisms"}},{"before":"bef4fce05bd1d03f16695675585cec9a74d7c563","after":"43a4c51e6c779f4d0679c2658ab35f2325279387","ref":"refs/heads/master","pushedAt":"2024-03-18T20:41:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dcastrop","name":"David Castro-Perez","path":"/dcastrop","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6087999?s=80&v=4"},"commit":{"message":"Stuff","shortMessageHtmlLink":"Stuff"}},{"before":"28f28a7d42f60531a47cc92e7ceb571c1a5227b4","after":"bef4fce05bd1d03f16695675585cec9a74d7c563","ref":"refs/heads/master","pushedAt":"2024-03-18T20:16:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dcastrop","name":"David Castro-Perez","path":"/dcastrop","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6087999?s=80&v=4"},"commit":{"message":"Stuff","shortMessageHtmlLink":"Stuff"}},{"before":"0c327bf7fe9d4a7cb83212d0604c66f6998aab4c","after":"28f28a7d42f60531a47cc92e7ceb571c1a5227b4","ref":"refs/heads/master","pushedAt":"2024-03-18T20:05:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dcastrop","name":"David Castro-Perez","path":"/dcastrop","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6087999?s=80&v=4"},"commit":{"message":"Stuff","shortMessageHtmlLink":"Stuff"}},{"before":"661a3cb6d37a825fc7854597f38eff9e45fdf24a","after":"0c327bf7fe9d4a7cb83212d0604c66f6998aab4c","ref":"refs/heads/master","pushedAt":"2024-03-18T19:35:08.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"mpaviotti","name":"Marco Paviotti","path":"/mpaviotti","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3659343?s=80&v=4"},"commit":{"message":"Merge branch 'master' of github.com:dcastrop/coq-hylomorphisms","shortMessageHtmlLink":"Merge branch 'master' of github.com:dcastrop/coq-hylomorphisms"}},{"before":"7979ea461515aca29352fefbf74d59ea4e3d8b0d","after":"661a3cb6d37a825fc7854597f38eff9e45fdf24a","ref":"refs/heads/master","pushedAt":"2024-03-18T18:38:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dcastrop","name":"David Castro-Perez","path":"/dcastrop","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6087999?s=80&v=4"},"commit":{"message":"Examples","shortMessageHtmlLink":"Examples"}},{"before":"f469a0c0f7e82979f514be41477561aff471618b","after":"7979ea461515aca29352fefbf74d59ea4e3d8b0d","ref":"refs/heads/master","pushedAt":"2024-03-18T18:35:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dcastrop","name":"David Castro-Perez","path":"/dcastrop","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6087999?s=80&v=4"},"commit":{"message":"Examples","shortMessageHtmlLink":"Examples"}},{"before":"f3029278b13fe728dd1d9636c9f69653c4813b2a","after":"f469a0c0f7e82979f514be41477561aff471618b","ref":"refs/heads/master","pushedAt":"2024-03-18T18:14:20.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"mpaviotti","name":"Marco Paviotti","path":"/mpaviotti","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3659343?s=80&v=4"},"commit":{"message":"Merge branch 'master' of github.com:dcastrop/coq-hylomorphisms","shortMessageHtmlLink":"Merge branch 'master' of github.com:dcastrop/coq-hylomorphisms"}},{"before":"5385c79c0193c05c773166555749d3de7f142128","after":"f3029278b13fe728dd1d9636c9f69653c4813b2a","ref":"refs/heads/master","pushedAt":"2024-03-18T18:07:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dcastrop","name":"David Castro-Perez","path":"/dcastrop","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6087999?s=80&v=4"},"commit":{"message":"Examples","shortMessageHtmlLink":"Examples"}},{"before":"dc133317113f217538fe2715787c00e39a73df63","after":"5385c79c0193c05c773166555749d3de7f142128","ref":"refs/heads/master","pushedAt":"2024-03-18T17:50:00.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"mpaviotti","name":"Marco Paviotti","path":"/mpaviotti","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3659343?s=80&v=4"},"commit":{"message":"Merge branch 'master' of github.com:dcastrop/coq-hylomorphisms","shortMessageHtmlLink":"Merge branch 'master' of github.com:dcastrop/coq-hylomorphisms"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEOV_JlAA","startCursor":null,"endCursor":null}},"title":"Activity · dcastrop/coq-hylomorphisms"}