{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":205904310,"defaultBranch":"main","name":"natural-arithmetic","ownerLogin":"byteverse","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2019-09-02T17:20:32.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/60107249?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1707322427.0","currentOid":""},"activityList":{"items":[{"before":"85483581f9a97caf77435db7a722bd27d0c18977","after":null,"ref":"refs/heads/fix","pushedAt":"2024-02-07T16:13:47.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"brianjosephmckeon","name":"Brian McKeon","path":"/brianjosephmckeon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/135748266?s=80&v=4"}},{"before":"156f8be6c10e09c2c19e24d542fcf2e144f3a0f8","after":"4897ee4e497b96df458debb23d802c64a4ff2610","ref":"refs/heads/main","pushedAt":"2024-02-07T16:13:46.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"brianjosephmckeon","name":"Brian McKeon","path":"/brianjosephmckeon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/135748266?s=80&v=4"},"commit":{"message":"Use new .github workflows.","shortMessageHtmlLink":"Use new .github workflows."}},{"before":null,"after":"85483581f9a97caf77435db7a722bd27d0c18977","ref":"refs/heads/fix","pushedAt":"2024-02-07T16:07:15.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"brianjosephmckeon","name":"Brian McKeon","path":"/brianjosephmckeon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/135748266?s=80&v=4"},"commit":{"message":"Use new .github workflows.","shortMessageHtmlLink":"Use new .github workflows."}},{"before":"0331b67f16ef2d1bece322cb9c363bfa1c8c58f9","after":null,"ref":"refs/heads/migration","pushedAt":"2024-02-03T01:50:29.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"brianjosephmckeon","name":"Brian McKeon","path":"/brianjosephmckeon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/135748266?s=80&v=4"}},{"before":"41dee36dee148781618cd73dac20de7a5379a288","after":"156f8be6c10e09c2c19e24d542fcf2e144f3a0f8","ref":"refs/heads/main","pushedAt":"2024-02-03T01:50:28.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"brianjosephmckeon","name":"Brian McKeon","path":"/brianjosephmckeon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/135748266?s=80&v=4"},"commit":{"message":"Prepare 0.2.1.0 release\n\nReformatted.\r\nAdded workflows.\r\nUpdated package metadata.","shortMessageHtmlLink":"Prepare 0.2.1.0 release"}},{"before":null,"after":"0331b67f16ef2d1bece322cb9c363bfa1c8c58f9","ref":"refs/heads/migration","pushedAt":"2024-02-03T01:42:00.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"brianjosephmckeon","name":"Brian McKeon","path":"/brianjosephmckeon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/135748266?s=80&v=4"},"commit":{"message":"Prepare 0.2.1.0 release.\nReformatted.\nAdded workflows.\nUpdated package metadata.","shortMessageHtmlLink":"Prepare 0.2.1.0 release."}},{"before":"41dee36dee148781618cd73dac20de7a5379a288","after":null,"ref":"refs/heads/master","pushedAt":"2024-02-03T01:30:19.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"brianjosephmckeon","name":"Brian McKeon","path":"/brianjosephmckeon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/135748266?s=80&v=4"}},{"before":null,"after":"41dee36dee148781618cd73dac20de7a5379a288","ref":"refs/heads/main","pushedAt":"2024-02-03T01:30:18.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"brianjosephmckeon","name":"Brian McKeon","path":"/brianjosephmckeon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/135748266?s=80&v=4"},"commit":{"message":"Add fromInt and fromInt# to Arithmetic.Fin","shortMessageHtmlLink":"Add fromInt and fromInt# to Arithmetic.Fin"}},{"before":"7c654f4d4a4067681d83186ef410fae842c2c25e","after":"41dee36dee148781618cd73dac20de7a5379a288","ref":"refs/heads/master","pushedAt":"2024-02-01T17:12:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"andrewthad","name":"Andrew Martin","path":"/andrewthad","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5332484?s=80&v=4"},"commit":{"message":"Add fromInt and fromInt# to Arithmetic.Fin","shortMessageHtmlLink":"Add fromInt and fromInt# to Arithmetic.Fin"}},{"before":"033e427cc5cb83b8e405ee3cf66212a03a93df0e","after":"7c654f4d4a4067681d83186ef410fae842c2c25e","ref":"refs/heads/master","pushedAt":"2024-01-09T20:51:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"andrewthad","name":"Andrew Martin","path":"/andrewthad","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5332484?s=80&v=4"},"commit":{"message":"Update changelog for 0.2.0.0 release","shortMessageHtmlLink":"Update changelog for 0.2.0.0 release"}},{"before":"122664006b8a3ccdda33b3c84accd08e521c9e6d","after":"033e427cc5cb83b8e405ee3cf66212a03a93df0e","ref":"refs/heads/master","pushedAt":"2023-09-21T15:52:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"andrewthad","name":"Andrew Martin","path":"/andrewthad","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5332484?s=80&v=4"},"commit":{"message":"Add patterns for 5, 6, 7","shortMessageHtmlLink":"Add patterns for 5, 6, 7"}},{"before":"a45aaa7f3b682296ea98c92d9f6153b754f8019d","after":"122664006b8a3ccdda33b3c84accd08e521c9e6d","ref":"refs/heads/master","pushedAt":"2023-09-14T12:46:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"andrewthad","name":"Andrew Martin","path":"/andrewthad","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5332484?s=80&v=4"},"commit":{"message":"Add succ#, redo type of with#","shortMessageHtmlLink":"Add succ#, redo type of with#"}},{"before":"9fe49dad5129eb4753b0ed771ed057461118b3d0","after":"a45aaa7f3b682296ea98c92d9f6153b754f8019d","ref":"refs/heads/master","pushedAt":"2023-08-31T19:34:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"andrewthad","name":"Andrew Martin","path":"/andrewthad","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5332484?s=80&v=4"},"commit":{"message":"Add more things","shortMessageHtmlLink":"Add more things"}},{"before":"78d8a3971f88da9d3a57971c030316ac9eaa8ef4","after":"9fe49dad5129eb4753b0ed771ed057461118b3d0","ref":"refs/heads/master","pushedAt":"2023-06-16T14:01:25.629Z","pushType":"push","commitsCount":1,"pusher":{"login":"andrewthad","name":"Andrew Martin","path":"/andrewthad","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5332484?s=80&v=4"},"commit":{"message":"Add more unlifted variants. Change the type of construct#.","shortMessageHtmlLink":"Add more unlifted variants. Change the type of construct#."}},{"before":"2f0cbd56769efb9d9fb743dd2656a6e15ae2698b","after":"78d8a3971f88da9d3a57971c030316ac9eaa8ef4","ref":"refs/heads/master","pushedAt":"2023-05-31T17:24:24.173Z","pushType":"push","commitsCount":1,"pusher":{"login":"andrewthad","name":"Andrew Martin","path":"/andrewthad","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5332484?s=80&v=4"},"commit":{"message":"Add unboxed Nat type and release 0.1.4.0","shortMessageHtmlLink":"Add unboxed Nat type and release 0.1.4.0"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAD9KMYGwA","startCursor":null,"endCursor":null}},"title":"Activity · byteverse/natural-arithmetic"}