{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":452551174,"defaultBranch":"master","name":"learntla-v2","ownerLogin":"hwayne","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2022-01-27T05:27:06.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/2660212?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1707425742.0","currentOid":""},"activityList":{"items":[{"before":"fadb912d2f4adf7bc02c3256b88cc208b359805e","after":"418c1b7d2250ae4838665d77558d6f0ef2072280","ref":"refs/heads/master","pushedAt":"2024-05-21T18:33:54.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"hwayne","name":"Hillel Wayne","path":"/hwayne","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2660212?s=80&v=4"},"commit":{"message":"typo: missing \"]\" in Summary section (#85)","shortMessageHtmlLink":"typo: missing \"]\" in Summary section (#85)"}},{"before":"37a1424e61e3069def15a721efe34708ff36c11d","after":"fadb912d2f4adf7bc02c3256b88cc208b359805e","ref":"refs/heads/master","pushedAt":"2024-02-08T21:02:10.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"hwayne","name":"Hillel Wayne","path":"/hwayne","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2660212?s=80&v=4"},"commit":{"message":"Add some code examples to the standard modules (#78)\n\n* Update standard-library.rst\r\n\r\nAdded some code examples for the standard modules\r\n\r\n* Addresses comments\r\n\r\n* Add Randomization module\r\n\r\n* Add code examples for Bag apis\r\n\r\n* Examples for randomization module\r\n\r\n* Fix rST formatting, explain randomization more clearly\r\n\r\n---------\r\n\r\nCo-authored-by: Hillel ","shortMessageHtmlLink":"Add some code examples to the standard modules (#78)"}},{"before":null,"after":"ff0b7d9763d591519928bd088450046d2da62a1a","ref":"refs/heads/patch-1","pushedAt":"2024-02-08T20:55:42.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"hwayne","name":"Hillel Wayne","path":"/hwayne","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2660212?s=80&v=4"},"commit":{"message":"Fix rST formatting, explain randomization more clearly","shortMessageHtmlLink":"Fix rST formatting, explain randomization more clearly"}},{"before":"5222ce0316cb767dcc36b6e2d73947b1f944e884","after":"37a1424e61e3069def15a721efe34708ff36c11d","ref":"refs/heads/master","pushedAt":"2024-02-08T20:21:24.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"hwayne","name":"Hillel Wayne","path":"/hwayne","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2660212?s=80&v=4"},"commit":{"message":"Merge branch 'master' of https://github.com/hwayne/learntla-v2","shortMessageHtmlLink":"Merge branch 'master' of https://github.com/hwayne/learntla-v2"}},{"before":"07c3c53f15da3b6c42e228088f5e43c58bcd1be7","after":"5222ce0316cb767dcc36b6e2d73947b1f944e884","ref":"refs/heads/master","pushedAt":"2024-02-05T23:10:33.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"hwayne","name":"Hillel Wayne","path":"/hwayne","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2660212?s=80&v=4"},"commit":{"message":"Correct set names in optimization.rst (#79)","shortMessageHtmlLink":"Correct set names in optimization.rst (#79)"}},{"before":"c13b18a1b2530ef86086a345c62ceed53f32d2c7","after":"07c3c53f15da3b6c42e228088f5e43c58bcd1be7","ref":"refs/heads/master","pushedAt":"2023-12-11T20:27:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hwayne","name":"Hillel Wayne","path":"/hwayne","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2660212?s=80&v=4"},"commit":{"message":"Create LICENSE","shortMessageHtmlLink":"Create LICENSE"}},{"before":"f2a20780a7dd154b6a2acf044bb79166161973b2","after":"c13b18a1b2530ef86086a345c62ceed53f32d2c7","ref":"refs/heads/master","pushedAt":"2023-08-15T21:39:38.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"hwayne","name":"Hillel Wayne","path":"/hwayne","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2660212?s=80&v=4"},"commit":{"message":"Fixes for simple typos (#70)\n\n* add example of what 'underscory' means for non-english speaking audience\r\n\r\n* fix typo\r\n\r\n* fix typo\r\n\r\n* fix capitalization of acronym\r\n\r\n* fix typo\r\n\r\n* fix typos\r\n\r\n* fix typo\r\n\r\n* consistent use of 'PlusCal' within doc\r\n\r\n* fix typo\r\n\r\n* fix typo\r\n\r\n* fix typo\r\n\r\n* fix capitalizatin of company name\r\n\r\n* capitalization on PlusCal\r\n\r\n* add double backtick for code snippet\r\n\r\n---------\r\n\r\nCo-authored-by: dprats ","shortMessageHtmlLink":"Fixes for simple typos (#70)"}},{"before":"15936c141e93d6737049181312988275bd84c87e","after":"f2a20780a7dd154b6a2acf044bb79166161973b2","ref":"refs/heads/master","pushedAt":"2023-08-02T21:15:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hwayne","name":"Hillel Wayne","path":"/hwayne","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2660212?s=80&v=4"},"commit":{"message":"Remove a dangly","shortMessageHtmlLink":"Remove a dangly"}},{"before":"145a3debc0bf85e1512cf2819038ab5615e0cde6","after":"15936c141e93d6737049181312988275bd84c87e","ref":"refs/heads/master","pushedAt":"2023-08-02T21:03:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hwayne","name":"Hillel Wayne","path":"/hwayne","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2660212?s=80&v=4"},"commit":{"message":"Fix math formatting, add one more tip","shortMessageHtmlLink":"Fix math formatting, add one more tip"}},{"before":"92c7595bab389418f7c3ce486389d45895a6a672","after":"145a3debc0bf85e1512cf2819038ab5615e0cde6","ref":"refs/heads/master","pushedAt":"2023-08-02T20:33:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hwayne","name":"Hillel Wayne","path":"/hwayne","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2660212?s=80&v=4"},"commit":{"message":"Forgot a bunch of critical files whoops","shortMessageHtmlLink":"Forgot a bunch of critical files whoops"}},{"before":"efd444928ad96578a8b58ec3fbfed78b73f8f0ff","after":"92c7595bab389418f7c3ce486389d45895a6a672","ref":"refs/heads/master","pushedAt":"2023-08-02T20:30:25.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"hwayne","name":"Hillel Wayne","path":"/hwayne","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2660212?s=80&v=4"},"commit":{"message":"Merge branch 'master' of https://github.com/hwayne/learntla-v2","shortMessageHtmlLink":"Merge branch 'master' of https://github.com/hwayne/learntla-v2"}},{"before":"fb71ddbf9b955401de3c60c93d678059f5c1efa8","after":"efd444928ad96578a8b58ec3fbfed78b73f8f0ff","ref":"refs/heads/master","pushedAt":"2023-08-02T20:26:11.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"hwayne","name":"Hillel Wayne","path":"/hwayne","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2660212?s=80&v=4"},"commit":{"message":"fix: malformed math syntax highlighting (#64)","shortMessageHtmlLink":"fix: malformed math syntax highlighting (#64)"}},{"before":"cf84539f468d780001c02f1bbcd4de68e12d5323","after":null,"ref":"refs/heads/optimizations","pushedAt":"2023-08-02T20:23:42.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"hwayne","name":"Hillel Wayne","path":"/hwayne","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2660212?s=80&v=4"}},{"before":"6140c1b442a24bb74a8d695de2a58aaca0b49e4a","after":"fb71ddbf9b955401de3c60c93d678059f5c1efa8","ref":"refs/heads/master","pushedAt":"2023-08-02T20:23:39.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"hwayne","name":"Hillel Wayne","path":"/hwayne","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2660212?s=80&v=4"},"commit":{"message":"Add topic on optimizations (#69)\n\n* Begin work on optimization section\r\n\r\n* Optimizations done\r\n\r\n* Remove some whitespace\r\n\r\n---------\r\n\r\nCo-authored-by: Hillel ","shortMessageHtmlLink":"Add topic on optimizations (#69)"}},{"before":"64882c5492a704fb575fc72fc6b6711d8d73b408","after":"cf84539f468d780001c02f1bbcd4de68e12d5323","ref":"refs/heads/optimizations","pushedAt":"2023-08-02T20:23:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hwayne","name":"Hillel Wayne","path":"/hwayne","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2660212?s=80&v=4"},"commit":{"message":"Remove some whitespace","shortMessageHtmlLink":"Remove some whitespace"}},{"before":"d300d1a5e29373a08772d53f795150810f211a6b","after":"64882c5492a704fb575fc72fc6b6711d8d73b408","ref":"refs/heads/optimizations","pushedAt":"2023-08-02T20:13:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hwayne","name":"Hillel Wayne","path":"/hwayne","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2660212?s=80&v=4"},"commit":{"message":"Optimizations done","shortMessageHtmlLink":"Optimizations done"}},{"before":null,"after":"ece2604dddff086b148db621aa981236efec8855","ref":"refs/heads/hwayne/issue43","pushedAt":"2023-07-31T18:35:31.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"hwayne","name":"Hillel Wayne","path":"/hwayne","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2660212?s=80&v=4"},"commit":{"message":"fix: remove unnecessary wording (#66)","shortMessageHtmlLink":"fix: remove unnecessary wording (#66)"}},{"before":"ece2604dddff086b148db621aa981236efec8855","after":"6140c1b442a24bb74a8d695de2a58aaca0b49e4a","ref":"refs/heads/master","pushedAt":"2023-07-31T18:34:40.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"hwayne","name":"Hillel Wayne","path":"/hwayne","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2660212?s=80&v=4"},"commit":{"message":"Merge pull request #65 from acud:fix-type\n\nchore: fix small typo in Procedures section","shortMessageHtmlLink":"Merge pull request #65 from acud:fix-type"}},{"before":"b60976fcb7f3c2a0d8c97fcf88f509fd916cb82e","after":"ece2604dddff086b148db621aa981236efec8855","ref":"refs/heads/master","pushedAt":"2023-07-22T21:29:43.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"hwayne","name":"Hillel Wayne","path":"/hwayne","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2660212?s=80&v=4"},"commit":{"message":"fix: remove unnecessary wording (#66)","shortMessageHtmlLink":"fix: remove unnecessary wording (#66)"}},{"before":"8f7d7eb9148342f9d1cce09033cd4b77a894250c","after":"b60976fcb7f3c2a0d8c97fcf88f509fd916cb82e","ref":"refs/heads/master","pushedAt":"2023-07-21T17:06:46.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"hwayne","name":"Hillel Wayne","path":"/hwayne","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2660212?s=80&v=4"},"commit":{"message":"Add introduction redirect","shortMessageHtmlLink":"Add introduction redirect"}},{"before":null,"after":"d300d1a5e29373a08772d53f795150810f211a6b","ref":"refs/heads/optimizations","pushedAt":"2023-07-21T17:06:15.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"hwayne","name":"Hillel Wayne","path":"/hwayne","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2660212?s=80&v=4"},"commit":{"message":"Begin work on optimization section","shortMessageHtmlLink":"Begin work on optimization section"}},{"before":"9b2fe1be8c2e18d3c1887190b991d981db15eebf","after":"8f7d7eb9148342f9d1cce09033cd4b77a894250c","ref":"refs/heads/master","pushedAt":"2023-07-05T21:16:04.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"hwayne","name":"Hillel Wayne","path":"/hwayne","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2660212?s=80&v=4"},"commit":{"message":"Fix fairness expressions in TLA+ section to avoid confusion (#59)\n\nCo-authored-by: Hillel Wayne ","shortMessageHtmlLink":"Fix fairness expressions in TLA+ section to avoid confusion (#59)"}},{"before":"04a51ef04846b301884e252eb365bd3888264108","after":"9b2fe1be8c2e18d3c1887190b991d981db15eebf","ref":"refs/heads/master","pushedAt":"2023-07-05T21:14:50.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"hwayne","name":"Hillel Wayne","path":"/hwayne","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2660212?s=80&v=4"},"commit":{"message":"Merge branch 'master' of https://github.com/hwayne/learntla-v2","shortMessageHtmlLink":"Merge branch 'master' of https://github.com/hwayne/learntla-v2"}},{"before":"e3acee058f46688eadbce2869eba618498708603","after":"04a51ef04846b301884e252eb365bd3888264108","ref":"refs/heads/master","pushedAt":"2023-07-05T20:10:25.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"hwayne","name":"Hillel Wayne","path":"/hwayne","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2660212?s=80&v=4"},"commit":{"message":"Update README.md (#55)\n\nedited readme link","shortMessageHtmlLink":"Update README.md (#55)"}},{"before":"6a4eb9d0f01de3725e74f48ab664dbdeec0bb162","after":"e3acee058f46688eadbce2869eba618498708603","ref":"refs/heads/master","pushedAt":"2023-07-05T20:10:09.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"hwayne","name":"Hillel Wayne","path":"/hwayne","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2660212?s=80&v=4"},"commit":{"message":"Fix BecomesNull argument in Action Properties example (#57)\n\nThe previous argument resulted in the following parser error:\r\n\r\nThe level of argument 1 exceeds the maximum level allowed by the\r\noperator.","shortMessageHtmlLink":"Fix BecomesNull argument in Action Properties example (#57)"}},{"before":"81813f53293aac0b9527ddcaf61d76a33709f761","after":"6a4eb9d0f01de3725e74f48ab664dbdeec0bb162","ref":"refs/heads/master","pushedAt":"2023-07-05T20:06:41.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"hwayne","name":"Hillel Wayne","path":"/hwayne","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2660212?s=80&v=4"},"commit":{"message":"Fix await statement in TLA+ section (#58)","shortMessageHtmlLink":"Fix await statement in TLA+ section (#58)"}},{"before":"5cbed5ef911e372f793fd069fcaa6cba3c0a7c85","after":"81813f53293aac0b9527ddcaf61d76a33709f761","ref":"refs/heads/master","pushedAt":"2023-06-27T22:22:56.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"hwayne","name":"Hillel Wayne","path":"/hwayne","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2660212?s=80&v=4"},"commit":{"message":"Add unbound models topic","shortMessageHtmlLink":"Add unbound models topic"}},{"before":"ea7efecdd6949b8653d7f82c1b02cc6586562d50","after":"5cbed5ef911e372f793fd069fcaa6cba3c0a7c85","ref":"refs/heads/master","pushedAt":"2023-04-11T17:08:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hwayne","name":"Hillel Wayne","path":"/hwayne","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2660212?s=80&v=4"},"commit":{"message":"--amend","shortMessageHtmlLink":"--amend"}},{"before":"eb196bfc46b3117d5852ad9609d01e15551bf16f","after":"ea7efecdd6949b8653d7f82c1b02cc6586562d50","ref":"refs/heads/master","pushedAt":"2023-04-11T17:05:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hwayne","name":"Hillel Wayne","path":"/hwayne","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2660212?s=80&v=4"},"commit":{"message":"Add explanation that \\X is not associative","shortMessageHtmlLink":"Add explanation that \\X is not associative"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEUCzo7QA","startCursor":null,"endCursor":null}},"title":"Activity ยท hwayne/learntla-v2"}