{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":706300375,"defaultBranch":"main","name":"formalisms_every_computer_scientist_should_know","ownerLogin":"saona-raimundo","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-10-17T17:14:03.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/37874270?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1697562844.0","currentOid":""},"activityList":{"items":[{"before":"c287c59f1d2e8d3b6db11474aee0ed3fa6443dcb","after":"6e68dd00eb0ce9b61cdd41bafcf94148f23383fa","ref":"refs/heads/main","pushedAt":"2024-02-16T07:39:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"saona-raimundo","name":"Raimundo Saona","path":"/saona-raimundo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/37874270?s=80&v=4"},"commit":{"message":"Update class_22.tex","shortMessageHtmlLink":"Update class_22.tex"}},{"before":"690d56f22b3a0237010aa8a296f2942e274e5c6d","after":"c287c59f1d2e8d3b6db11474aee0ed3fa6443dcb","ref":"refs/heads/main","pushedAt":"2024-02-14T12:51:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"saona-raimundo","name":"Raimundo Saona","path":"/saona-raimundo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/37874270?s=80&v=4"},"commit":{"message":"Class 22","shortMessageHtmlLink":"Class 22"}},{"before":"1a6e6a99ab6c6f90dc4f2f31449bdf529a7dd365","after":"690d56f22b3a0237010aa8a296f2942e274e5c6d","ref":"refs/heads/main","pushedAt":"2023-12-30T20:01:51.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"saona-raimundo","name":"Raimundo Saona","path":"/saona-raimundo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/37874270?s=80&v=4"},"commit":{"message":"Merge pull request #6 from madvorak/main\n\nscribe 8 complete","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2057176524\" data-permission-text=\"Title is private\" data-url=\"https://github.com/saona-raimundo/formalisms_every_computer_scientist_should_know/issues/6\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/saona-raimundo/formalisms_every_computer_scientist_should_know/pull/6/hovercard\" href=\"https://github.com/saona-raimundo/formalisms_every_computer_scientist_should_know/pull/6\">#6</a> from madvorak/main"}},{"before":"9f0dc607fe39514a58e1d766f03204e1528b53ac","after":"1a6e6a99ab6c6f90dc4f2f31449bdf529a7dd365","ref":"refs/heads/main","pushedAt":"2023-11-28T20:01:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"madvorak","name":"Martin Dvořák","path":"/madvorak","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6643116?s=80&v=4"},"commit":{"message":"typo \\Gamma","shortMessageHtmlLink":"typo \\Gamma"}},{"before":"614ef3cfba0ad5b60da1b9b2564975678696c840","after":"9f0dc607fe39514a58e1d766f03204e1528b53ac","ref":"refs/heads/main","pushedAt":"2023-11-25T10:30:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ekgma","name":"Ehsan Kafshdar Goharshady","path":"/ekgma","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12484427?s=80&v=4"},"commit":{"message":"added lecture 9","shortMessageHtmlLink":"added lecture 9"}},{"before":"bf85a905e24e30d76f8c47bda5b28f4ff410b483","after":"614ef3cfba0ad5b60da1b9b2564975678696c840","ref":"refs/heads/main","pushedAt":"2023-11-23T12:10:25.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"saona-raimundo","name":"Raimundo Saona","path":"/saona-raimundo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/37874270?s=80&v=4"},"commit":{"message":"Merge pull request #5 from madvorak/main\n\nscribe 8 part","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2007211579\" data-permission-text=\"Title is private\" data-url=\"https://github.com/saona-raimundo/formalisms_every_computer_scientist_should_know/issues/5\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/saona-raimundo/formalisms_every_computer_scientist_should_know/pull/5/hovercard\" href=\"https://github.com/saona-raimundo/formalisms_every_computer_scientist_should_know/pull/5\">#5</a> from madvorak/main"}},{"before":"98e5d2a428f1e36865fc4518ca992147e850fad8","after":"bf85a905e24e30d76f8c47bda5b28f4ff410b483","ref":"refs/heads/main","pushedAt":"2023-11-22T14:18:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"saona-raimundo","name":"Raimundo Saona","path":"/saona-raimundo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/37874270?s=80&v=4"},"commit":{"message":"compile pdf","shortMessageHtmlLink":"compile pdf"}},{"before":"94bd0ec0d43cbe0f0f67d84e9ef7cda7640893d2","after":"98e5d2a428f1e36865fc4518ca992147e850fad8","ref":"refs/heads/main","pushedAt":"2023-11-22T12:06:18.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"mahykari","name":"Mahyar Karimi","path":"/mahykari","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/80718977?s=80&v=4"},"commit":{"message":"Merge pull request #4 from mahykari/main\n\nClass 7","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2005928179\" data-permission-text=\"Title is private\" data-url=\"https://github.com/saona-raimundo/formalisms_every_computer_scientist_should_know/issues/4\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/saona-raimundo/formalisms_every_computer_scientist_should_know/pull/4/hovercard\" href=\"https://github.com/saona-raimundo/formalisms_every_computer_scientist_should_know/pull/4\">#4</a> from mahykari/main"}},{"before":"df03433f7092d26f4b94a72dbb298e449f20b607","after":"94bd0ec0d43cbe0f0f67d84e9ef7cda7640893d2","ref":"refs/heads/main","pushedAt":"2023-11-18T10:55:42.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"saona-raimundo","name":"Raimundo Saona","path":"/saona-raimundo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/37874270?s=80&v=4"},"commit":{"message":"Merge pull request #3 from madvorak/main\n\nscribe 6 complete","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1997685574\" data-permission-text=\"Title is private\" data-url=\"https://github.com/saona-raimundo/formalisms_every_computer_scientist_should_know/issues/3\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/saona-raimundo/formalisms_every_computer_scientist_should_know/pull/3/hovercard\" href=\"https://github.com/saona-raimundo/formalisms_every_computer_scientist_should_know/pull/3\">#3</a> from madvorak/main"}},{"before":"b81d6b4945bd5bbfe809736a5c4be3b52e8e0b1a","after":"df03433f7092d26f4b94a72dbb298e449f20b607","ref":"refs/heads/main","pushedAt":"2023-11-13T16:35:37.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"saona-raimundo","name":"Raimundo Saona","path":"/saona-raimundo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/37874270?s=80&v=4"},"commit":{"message":"Merge pull request #2 from madvorak/main\n\nscribe 6 in progress","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1990409671\" data-permission-text=\"Title is private\" data-url=\"https://github.com/saona-raimundo/formalisms_every_computer_scientist_should_know/issues/2\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/saona-raimundo/formalisms_every_computer_scientist_should_know/pull/2/hovercard\" href=\"https://github.com/saona-raimundo/formalisms_every_computer_scientist_should_know/pull/2\">#2</a> from madvorak/main"}},{"before":"36763044c321dc21c15659a129bfd69f745dfdcf","after":"b81d6b4945bd5bbfe809736a5c4be3b52e8e0b1a","ref":"refs/heads/main","pushedAt":"2023-10-24T12:38:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"saona-raimundo","name":"Raimundo Saona","path":"/saona-raimundo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/37874270?s=80&v=4"},"commit":{"message":"Update class_3.tex\n\nFix typos.","shortMessageHtmlLink":"Update class_3.tex"}},{"before":"bc9e476396066bfcd57e2891db46d7c258ebc775","after":"36763044c321dc21c15659a129bfd69f745dfdcf","ref":"refs/heads/main","pushedAt":"2023-10-23T16:06:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"saona-raimundo","name":"Raimundo Saona","path":"/saona-raimundo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/37874270?s=80&v=4"},"commit":{"message":"Update class_3.tex\n\nTypo","shortMessageHtmlLink":"Update class_3.tex"}},{"before":"4ef4b65131feeba5771aede8e66ef81381e2783d","after":"bc9e476396066bfcd57e2891db46d7c258ebc775","ref":"refs/heads/main","pushedAt":"2023-10-23T07:03:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"saona-raimundo","name":"Raimundo Saona","path":"/saona-raimundo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/37874270?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"aed36ecee3887f9e5fd3ed962fce7b9d58a34f71","after":"4ef4b65131feeba5771aede8e66ef81381e2783d","ref":"refs/heads/main","pushedAt":"2023-10-19T15:21:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"saona-raimundo","name":"Raimundo Saona","path":"/saona-raimundo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/37874270?s=80&v=4"},"commit":{"message":"Localize definitions","shortMessageHtmlLink":"Localize definitions"}},{"before":"dfa80a1600ca4e19e567005496fd812788a67d10","after":"aed36ecee3887f9e5fd3ed962fce7b9d58a34f71","ref":"refs/heads/main","pushedAt":"2023-10-19T15:13:50.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"saona-raimundo","name":"Raimundo Saona","path":"/saona-raimundo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/37874270?s=80&v=4"},"commit":{"message":"Merge pull request #1 from mahykari/add-class-1\n\nAdd class 1","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1952032201\" data-permission-text=\"Title is private\" data-url=\"https://github.com/saona-raimundo/formalisms_every_computer_scientist_should_know/issues/1\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/saona-raimundo/formalisms_every_computer_scientist_should_know/pull/1/hovercard\" href=\"https://github.com/saona-raimundo/formalisms_every_computer_scientist_should_know/pull/1\">#1</a> from mahykari/add-class-1"}},{"before":"a136463def02e76fa5204f26b33d5651ef65c5a2","after":"dfa80a1600ca4e19e567005496fd812788a67d10","ref":"refs/heads/main","pushedAt":"2023-10-19T08:53:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"saona-raimundo","name":"Raimundo Saona","path":"/saona-raimundo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/37874270?s=80&v=4"},"commit":{"message":"Update justfile","shortMessageHtmlLink":"Update justfile"}},{"before":"48c60e45da86780678bec23bbfd26aa2fe73ec57","after":"a136463def02e76fa5204f26b33d5651ef65c5a2","ref":"refs/heads/main","pushedAt":"2023-10-19T08:52:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"saona-raimundo","name":"Raimundo Saona","path":"/saona-raimundo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/37874270?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"dc008a22313a845609a60af929418855b8461b8b","after":"48c60e45da86780678bec23bbfd26aa2fe73ec57","ref":"refs/heads/main","pushedAt":"2023-10-19T08:38:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"saona-raimundo","name":"Raimundo Saona","path":"/saona-raimundo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/37874270?s=80&v=4"},"commit":{"message":"delete image","shortMessageHtmlLink":"delete image"}},{"before":"85ee41f2420f8cc2ed7a1020760584a34fdc62d5","after":"dc008a22313a845609a60af929418855b8461b8b","ref":"refs/heads/main","pushedAt":"2023-10-19T08:36:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"saona-raimundo","name":"Raimundo Saona","path":"/saona-raimundo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/37874270?s=80&v=4"},"commit":{"message":"Class 3","shortMessageHtmlLink":"Class 3"}},{"before":"e677aeaa1bc382f3494c006b757ae235ef8d9646","after":"85ee41f2420f8cc2ed7a1020760584a34fdc62d5","ref":"refs/heads/main","pushedAt":"2023-10-19T07:14:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"saona-raimundo","name":"Raimundo Saona","path":"/saona-raimundo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/37874270?s=80&v=4"},"commit":{"message":"task runner","shortMessageHtmlLink":"task runner"}},{"before":"ac01cce662f6d87ef3792cc1037b8e4c5a7e5127","after":"e677aeaa1bc382f3494c006b757ae235ef8d9646","ref":"refs/heads/main","pushedAt":"2023-10-17T18:00:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"saona-raimundo","name":"Raimundo Saona","path":"/saona-raimundo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/37874270?s=80&v=4"},"commit":{"message":"Fixing compilation","shortMessageHtmlLink":"Fixing compilation"}},{"before":"c4602c74d2dfcfc1652f54ebcc259159afad566a","after":"ac01cce662f6d87ef3792cc1037b8e4c5a7e5127","ref":"refs/heads/main","pushedAt":"2023-10-17T17:56:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"saona-raimundo","name":"Raimundo Saona","path":"/saona-raimundo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/37874270?s=80&v=4"},"commit":{"message":"Test","shortMessageHtmlLink":"Test"}},{"before":"5be306c3243add02e61179cf03bff9a9c851dd7f","after":"c4602c74d2dfcfc1652f54ebcc259159afad566a","ref":"refs/heads/main","pushedAt":"2023-10-17T17:56:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"saona-raimundo","name":"Raimundo Saona","path":"/saona-raimundo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/37874270?s=80&v=4"},"commit":{"message":"Update main.yml","shortMessageHtmlLink":"Update main.yml"}},{"before":"b5d375c2037769a9b34302023dccc541970f9a91","after":"5be306c3243add02e61179cf03bff9a9c851dd7f","ref":"refs/heads/main","pushedAt":"2023-10-17T17:50:53.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"saona-raimundo","name":"Raimundo Saona","path":"/saona-raimundo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/37874270?s=80&v=4"},"commit":{"message":"Merge branch 'main' of github.com:saona-raimundo/formalisms_every_computer_scientist_should_know into main","shortMessageHtmlLink":"Merge branch 'main' of github.com:saona-raimundo/formalisms_every_com…"}},{"before":"3449a81b0117d9a23685818fc41f589756c7162f","after":"b5d375c2037769a9b34302023dccc541970f9a91","ref":"refs/heads/main","pushedAt":"2023-10-17T17:49:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"saona-raimundo","name":"Raimundo Saona","path":"/saona-raimundo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/37874270?s=80&v=4"},"commit":{"message":"Create main.yml","shortMessageHtmlLink":"Create main.yml"}},{"before":"e9d2c30d8f8f894b2a042d4d222aaa1fd5f650d4","after":"3449a81b0117d9a23685818fc41f589756c7162f","ref":"refs/heads/main","pushedAt":"2023-10-17T17:46:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"saona-raimundo","name":"Raimundo Saona","path":"/saona-raimundo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/37874270?s=80&v=4"},"commit":{"message":"First template","shortMessageHtmlLink":"First template"}},{"before":null,"after":"e9d2c30d8f8f894b2a042d4d222aaa1fd5f650d4","ref":"refs/heads/main","pushedAt":"2023-10-17T17:14:04.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"saona-raimundo","name":"Raimundo Saona","path":"/saona-raimundo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/37874270?s=80&v=4"},"commit":{"message":"Initial commit","shortMessageHtmlLink":"Initial commit"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAD_FFQZAA","startCursor":null,"endCursor":null}},"title":"Activity · saona-raimundo/formalisms_every_computer_scientist_should_know"}