{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":847449822,"defaultBranch":"main","name":"deduce","ownerLogin":"HalflingHelper","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2024-08-25T21:12:21.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/60663079?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1727058679.0","currentOid":""},"activityList":{"items":[{"before":"f4cff1d4fc73062ea9f09a5e62b1bc13e3e6f534","after":"df7c388bb616cc2f964c37cba8df58d293e0ffbc","ref":"refs/heads/main","pushedAt":"2024-09-23T02:59:54.000Z","pushType":"push","commitsCount":22,"pusher":{"login":"HalflingHelper","name":"Calvin Josenhans","path":"/HalflingHelper","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/60663079?s=80&v=4"},"commit":{"message":"Merge pull request #6 from jsiek/command-line-args\n\nAdd verbose command line arg","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2539889753\" data-permission-text=\"Title is private\" data-url=\"https://github.com/jsiek/deduce/issues/6\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/jsiek/deduce/pull/6/hovercard\" href=\"https://github.com/jsiek/deduce/pull/6\">jsiek#6</a> from jsiek/command-line-args"}},{"before":"45bae8616910a55cd05bbdd7dc0935d88d021e63","after":"b6985e7fcb747342f80d23136f73716e980724fe","ref":"refs/heads/cj/sub-thms","pushedAt":"2024-09-23T02:58:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"HalflingHelper","name":"Calvin Josenhans","path":"/HalflingHelper","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/60663079?s=80&v=4"},"commit":{"message":"Proofs of summation","shortMessageHtmlLink":"Proofs of summation"}},{"before":"ada53825d73adcbf4142a94f62c71cd07b8fdf64","after":"45bae8616910a55cd05bbdd7dc0935d88d021e63","ref":"refs/heads/cj/sub-thms","pushedAt":"2024-09-23T02:53:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"HalflingHelper","name":"Calvin Josenhans","path":"/HalflingHelper","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/60663079?s=80&v=4"},"commit":{"message":"update thm file","shortMessageHtmlLink":"update thm file"}},{"before":null,"after":"ada53825d73adcbf4142a94f62c71cd07b8fdf64","ref":"refs/heads/cj/sub-thms","pushedAt":"2024-09-23T02:31:19.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"HalflingHelper","name":"Calvin Josenhans","path":"/HalflingHelper","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/60663079?s=80&v=4"},"commit":{"message":"Begin tracking distributivity for sub","shortMessageHtmlLink":"Begin tracking distributivity for sub"}},{"before":"eb2497a34bab2f41c4ed96131082a998563d5b25","after":"879330da0a86da23ba7a60245078325113a9189d","ref":"refs/heads/cj/overload_fix","pushedAt":"2024-09-22T19:21:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"HalflingHelper","name":"Calvin Josenhans","path":"/HalflingHelper","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/60663079?s=80&v=4"},"commit":{"message":"add test","shortMessageHtmlLink":"add test"}},{"before":"0860e4203915f455d91313aa3ff3ea379eabdb47","after":"eb2497a34bab2f41c4ed96131082a998563d5b25","ref":"refs/heads/cj/overload_fix","pushedAt":"2024-09-22T19:20:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"HalflingHelper","name":"Calvin Josenhans","path":"/HalflingHelper","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/60663079?s=80&v=4"},"commit":{"message":"test for redefining variables","shortMessageHtmlLink":"test for redefining variables"}},{"before":"2afd1f22166a8cb396580fb87d9902cc2a25d215","after":"41fc17a735c6193e43cf16fc2d4acb5798903bb1","ref":"refs/heads/patch-1","pushedAt":"2024-09-18T18:07:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"HalflingHelper","name":"Calvin Josenhans","path":"/HalflingHelper","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/60663079?s=80&v=4"},"commit":{"message":"Update abstract_syntax.py","shortMessageHtmlLink":"Update abstract_syntax.py"}},{"before":"c1b0f8fb249ca3c96b69179fcf940c1637e84f16","after":"f4cff1d4fc73062ea9f09a5e62b1bc13e3e6f534","ref":"refs/heads/main","pushedAt":"2024-09-14T21:44:51.000Z","pushType":"push","commitsCount":15,"pusher":{"login":"HalflingHelper","name":"Calvin Josenhans","path":"/HalflingHelper","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/60663079?s=80&v=4"},"commit":{"message":"unicode <-> ASCI","shortMessageHtmlLink":"unicode &lt;-&gt; ASCI"}},{"before":null,"after":"0860e4203915f455d91313aa3ff3ea379eabdb47","ref":"refs/heads/cj/overload_fix","pushedAt":"2024-09-14T21:44:27.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"HalflingHelper","name":"Calvin Josenhans","path":"/HalflingHelper","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/60663079?s=80&v=4"},"commit":{"message":"Only overloads functional values","shortMessageHtmlLink":"Only overloads functional values"}},{"before":"8dab6dce1d50ee557cdb658e5db3997d2f3e4888","after":"c1b0f8fb249ca3c96b69179fcf940c1637e84f16","ref":"refs/heads/main","pushedAt":"2024-08-25T21:14:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"HalflingHelper","name":"Calvin Josenhans","path":"/HalflingHelper","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/60663079?s=80&v=4"},"commit":{"message":"comments can work at the end of files now","shortMessageHtmlLink":"comments can work at the end of files now"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0yM1QwMjo1OTo1NC4wMDAwMDBazwAAAAS9fz4w","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0yM1QwMjo1OTo1NC4wMDAwMDBazwAAAAS9fz4w","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOC0yNVQyMToxNDoyMC4wMDAwMDBazwAAAASjr5hI"}},"title":"Activity · HalflingHelper/deduce"}