{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":552481264,"defaultBranch":"master","name":"kitty","ownerLogin":"m0rphism","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2022-10-16T17:35:22.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/11156969?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1665941958.518653","currentOid":""},"activityList":{"items":[{"before":"e9e2ab4c875310a20c37619e33cd3f9bb426c963","after":"c7f84e0dcfbc5d7d37b3ded571c62193c711c42e","ref":"refs/heads/master","pushedAt":"2024-03-19T11:00:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"m0rphism","name":null,"path":"/m0rphism","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11156969?s=80&v=4"},"commit":{"message":"Fixed typo in README.md.","shortMessageHtmlLink":"Fixed typo in README.md."}},{"before":"4ed972eb7447891fd75076d0437ed0f11354739a","after":"e9e2ab4c875310a20c37619e33cd3f9bb426c963","ref":"refs/heads/master","pushedAt":"2024-03-19T10:49:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"m0rphism","name":null,"path":"/m0rphism","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11156969?s=80&v=4"},"commit":{"message":"Updated README.md.","shortMessageHtmlLink":"Updated README.md."}},{"before":"1d162409b8a02771126b9d06c05effa138677024","after":"4ed972eb7447891fd75076d0437ed0f11354739a","ref":"refs/heads/master","pushedAt":"2024-03-19T10:49:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"m0rphism","name":null,"path":"/m0rphism","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11156969?s=80&v=4"},"commit":{"message":"Updated .gitignore.","shortMessageHtmlLink":"Updated .gitignore."}},{"before":"4b63c6e823ad171d17d93edfe36fb6cfaccd0b32","after":"1d162409b8a02771126b9d06c05effa138677024","ref":"refs/heads/master","pushedAt":"2024-03-19T10:46:53.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"m0rphism","name":null,"path":"/m0rphism","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11156969?s=80&v=4"},"commit":{"message":"Updated README.md.","shortMessageHtmlLink":"Updated README.md."}},{"before":"d686a102610cf207991cad520661b5373be579ab","after":"4b63c6e823ad171d17d93edfe36fb6cfaccd0b32","ref":"refs/heads/master","pushedAt":"2024-03-19T10:46:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"m0rphism","name":null,"path":"/m0rphism","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11156969?s=80&v=4"},"commit":{"message":"Updated README.md.","shortMessageHtmlLink":"Updated README.md."}},{"before":"2638b9af572e48830e3160ca9254a1060f4232a3","after":"d686a102610cf207991cad520661b5373be579ab","ref":"refs/heads/master","pushedAt":"2024-03-19T10:42:09.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"m0rphism","name":null,"path":"/m0rphism","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11156969?s=80&v=4"},"commit":{"message":"Added README.md for Examples directory.","shortMessageHtmlLink":"Added README.md for Examples directory."}},{"before":"70b5211f14449f115b5f73210af3793927d57c0f","after":"2638b9af572e48830e3160ca9254a1060f4232a3","ref":"refs/heads/master","pushedAt":"2024-03-19T10:41:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"m0rphism","name":null,"path":"/m0rphism","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11156969?s=80&v=4"},"commit":{"message":"Added README.md for Examples directory.","shortMessageHtmlLink":"Added README.md for Examples directory."}},{"before":"bd4e925e06359122624add1a31e11247840bc8e7","after":"70b5211f14449f115b5f73210af3793927d57c0f","ref":"refs/heads/master","pushedAt":"2024-03-19T10:31:44.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"m0rphism","name":null,"path":"/m0rphism","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11156969?s=80&v=4"},"commit":{"message":"Updated README.md.","shortMessageHtmlLink":"Updated README.md."}},{"before":"651a4b055f8c3b8ee565e3b1bee93d563ea8ad7b","after":"bd4e925e06359122624add1a31e11247840bc8e7","ref":"refs/heads/master","pushedAt":"2024-03-19T10:30:54.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"m0rphism","name":null,"path":"/m0rphism","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11156969?s=80&v=4"},"commit":{"message":"Updated README.md.","shortMessageHtmlLink":"Updated README.md."}},{"before":"5cc1ba9529a88f4950bd0c245f99b35509adb020","after":"651a4b055f8c3b8ee565e3b1bee93d563ea8ad7b","ref":"refs/heads/master","pushedAt":"2024-03-19T10:30:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"m0rphism","name":null,"path":"/m0rphism","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11156969?s=80&v=4"},"commit":{"message":"Updated README.md.","shortMessageHtmlLink":"Updated README.md."}},{"before":"22575ea92c98375d7b828f6f93e4cbb1e95ed63c","after":"5cc1ba9529a88f4950bd0c245f99b35509adb020","ref":"refs/heads/master","pushedAt":"2024-03-19T02:19:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"m0rphism","name":null,"path":"/m0rphism","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11156969?s=80&v=4"},"commit":{"message":"Update.","shortMessageHtmlLink":"Update."}},{"before":"74ab25ba05571692c7e4f83a302c45d1a4f9e9c5","after":"22575ea92c98375d7b828f6f93e4cbb1e95ed63c","ref":"refs/heads/master","pushedAt":"2024-03-19T02:14:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"m0rphism","name":null,"path":"/m0rphism","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11156969?s=80&v=4"},"commit":{"message":"Update.","shortMessageHtmlLink":"Update."}},{"before":"e8de57af1a33902fcff42825147114d6770d5c6c","after":"74ab25ba05571692c7e4f83a302c45d1a4f9e9c5","ref":"refs/heads/master","pushedAt":"2024-03-19T02:11:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"m0rphism","name":null,"path":"/m0rphism","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11156969?s=80&v=4"},"commit":{"message":"Update.","shortMessageHtmlLink":"Update."}},{"before":"96c255a1c5c2e93f3517690cd35284290779c789","after":"e8de57af1a33902fcff42825147114d6770d5c6c","ref":"refs/heads/master","pushedAt":"2024-03-19T02:09:01.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"m0rphism","name":null,"path":"/m0rphism","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11156969?s=80&v=4"},"commit":{"message":"Update.","shortMessageHtmlLink":"Update."}},{"before":"98766f2564d2d516c7ce6f66d505854135357f2a","after":"96c255a1c5c2e93f3517690cd35284290779c789","ref":"refs/heads/master","pushedAt":"2024-03-19T01:01:43.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"m0rphism","name":null,"path":"/m0rphism","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11156969?s=80&v=4"},"commit":{"message":"Update.","shortMessageHtmlLink":"Update."}},{"before":"bcd1bd6037fc22606279d9febccf576fb6374cb7","after":"98766f2564d2d516c7ce6f66d505854135357f2a","ref":"refs/heads/master","pushedAt":"2024-03-19T00:26:20.000Z","pushType":"push","commitsCount":11,"pusher":{"login":"m0rphism","name":null,"path":"/m0rphism","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11156969?s=80&v=4"},"commit":{"message":"Update.","shortMessageHtmlLink":"Update."}},{"before":"03ba3c77f8a62fbae557cdd55efab454f44cb131","after":"bcd1bd6037fc22606279d9febccf576fb6374cb7","ref":"refs/heads/master","pushedAt":"2024-03-18T18:09:44.000Z","pushType":"push","commitsCount":27,"pusher":{"login":"m0rphism","name":null,"path":"/m0rphism","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11156969?s=80&v=4"},"commit":{"message":"Update.","shortMessageHtmlLink":"Update."}},{"before":"3d4a9fd3db8a4a6ef52efbd2c1d55f9fd8948f8b","after":"03ba3c77f8a62fbae557cdd55efab454f44cb131","ref":"refs/heads/master","pushedAt":"2024-03-13T20:06:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"m0rphism","name":null,"path":"/m0rphism","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11156969?s=80&v=4"},"commit":{"message":"Update for agda-stdlib 2.0","shortMessageHtmlLink":"Update for agda-stdlib 2.0"}},{"before":"18ac85245ec6bf999675c5331755ff2bf7bf5a84","after":"3d4a9fd3db8a4a6ef52efbd2c1d55f9fd8948f8b","ref":"refs/heads/master","pushedAt":"2024-03-13T20:01:37.000Z","pushType":"push","commitsCount":7,"pusher":{"login":"m0rphism","name":null,"path":"/m0rphism","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11156969?s=80&v=4"},"commit":{"message":"Update.","shortMessageHtmlLink":"Update."}},{"before":"6f4e8e141d6e001daa14c1bfc3e0aec772520687","after":"18ac85245ec6bf999675c5331755ff2bf7bf5a84","ref":"refs/heads/master","pushedAt":"2024-03-11T21:44:05.000Z","pushType":"push","commitsCount":24,"pusher":{"login":"m0rphism","name":null,"path":"/m0rphism","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11156969?s=80&v=4"},"commit":{"message":"Update.","shortMessageHtmlLink":"Update."}},{"before":"e23469a74cbf3a6e2443489161b77dd58f0c9696","after":"6f4e8e141d6e001daa14c1bfc3e0aec772520687","ref":"refs/heads/master","pushedAt":"2024-03-08T16:39:48.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"m0rphism","name":null,"path":"/m0rphism","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11156969?s=80&v=4"},"commit":{"message":"Update.","shortMessageHtmlLink":"Update."}},{"before":"5f5007af62060e03c661959e9ec2f45f1d181101","after":"e23469a74cbf3a6e2443489161b77dd58f0c9696","ref":"refs/heads/master","pushedAt":"2023-12-19T09:50:52.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"m0rphism","name":null,"path":"/m0rphism","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11156969?s=80&v=4"},"commit":{"message":"Switched to standard module based Reasoning syntax.","shortMessageHtmlLink":"Switched to standard module based Reasoning syntax."}},{"before":"20e54a94183ecd07357a2ac6426b498b6ce93960","after":"5f5007af62060e03c661959e9ec2f45f1d181101","ref":"refs/heads/master","pushedAt":"2023-09-20T11:47:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"m0rphism","name":null,"path":"/m0rphism","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11156969?s=80&v=4"},"commit":{"message":"Update.","shortMessageHtmlLink":"Update."}},{"before":"cd4eee3ba994d3a8c473fd6f9d8e65db0ab07cbd","after":"20e54a94183ecd07357a2ac6426b498b6ce93960","ref":"refs/heads/master","pushedAt":"2023-09-20T11:05:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"m0rphism","name":null,"path":"/m0rphism","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11156969?s=80&v=4"},"commit":{"message":"Update.","shortMessageHtmlLink":"Update."}},{"before":"c722ab37af7ff49e6970413eab215c8506688197","after":"cd4eee3ba994d3a8c473fd6f9d8e65db0ab07cbd","ref":"refs/heads/master","pushedAt":"2023-09-20T10:53:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"m0rphism","name":null,"path":"/m0rphism","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11156969?s=80&v=4"},"commit":{"message":"Update.","shortMessageHtmlLink":"Update."}},{"before":"bfa3117aa4e061ec8f4d92b81b9f62ff486ca573","after":"c722ab37af7ff49e6970413eab215c8506688197","ref":"refs/heads/master","pushedAt":"2023-09-20T08:52:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"m0rphism","name":null,"path":"/m0rphism","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11156969?s=80&v=4"},"commit":{"message":"Update.","shortMessageHtmlLink":"Update."}},{"before":"d5df9e22e6ea1ee416a56976cd7477f2a126f22a","after":"bfa3117aa4e061ec8f4d92b81b9f62ff486ca573","ref":"refs/heads/master","pushedAt":"2023-09-20T08:15:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"m0rphism","name":null,"path":"/m0rphism","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11156969?s=80&v=4"},"commit":{"message":"Update.","shortMessageHtmlLink":"Update."}},{"before":"14d482203999ee746a9a96877505dbea6b685f4f","after":"d5df9e22e6ea1ee416a56976cd7477f2a126f22a","ref":"refs/heads/master","pushedAt":"2023-09-19T18:15:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"m0rphism","name":null,"path":"/m0rphism","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11156969?s=80&v=4"},"commit":{"message":"Update.","shortMessageHtmlLink":"Update."}},{"before":"23eb22543813f79849c501e15a3fb2e596c9f138","after":"14d482203999ee746a9a96877505dbea6b685f4f","ref":"refs/heads/master","pushedAt":"2023-09-19T17:15:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"m0rphism","name":null,"path":"/m0rphism","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11156969?s=80&v=4"},"commit":{"message":"Update.","shortMessageHtmlLink":"Update."}},{"before":"100e2c2244ebc78f71f14790d09c7a46ceb69044","after":"23eb22543813f79849c501e15a3fb2e596c9f138","ref":"refs/heads/master","pushedAt":"2023-09-19T17:10:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"m0rphism","name":null,"path":"/m0rphism","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11156969?s=80&v=4"},"commit":{"message":"Update.","shortMessageHtmlLink":"Update."}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEGX9yxgA","startCursor":null,"endCursor":null}},"title":"Activity · m0rphism/kitty"}