{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":449335006,"defaultBranch":"master","name":"pl1-lecture-notes","ownerLogin":"ps-tuebingen-courses","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2022-01-18T15:15:53.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/22839109?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1642612729.952768","currentOid":""},"activityList":{"items":[{"before":"42773e6f7ae9b3726a9e0f92e4d4c03ca8d49ec6","after":"f4521971b21d759ca8ec889dea60031fd29d4267","ref":"refs/heads/gh-pages","pushedAt":"2023-07-18T21:29:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ ps-tuebingen-courses/pl1-lecture-notes@8976ab3a95f43d8c30b84cd2999788cc814c7f5c 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/ps-tuebingen-courses/pl1-lecture-notes/commit/8976ab3a95f43d8c30b84cd2999788cc814c7f5c/hovercard\" href=\"https://github.com/ps-tuebingen-courses/pl1-lecture-notes/commit/8976ab3a95f43d8c30b84cd2999788cc814c7f5c\"><tt>8976ab3</tt></a> 🚀"}},{"before":"f129ccd2c3f835395338215d2876feb58a19ca9d","after":"8976ab3a95f43d8c30b84cd2999788cc814c7f5c","ref":"refs/heads/master","pushedAt":"2023-07-18T21:28:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mm0821","name":null,"path":"/mm0821","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/69968840?s=80&v=4"},"commit":{"message":"Add some more explanation","shortMessageHtmlLink":"Add some more explanation"}},{"before":"b16093a6a8860225adb911a4c2c5cf3651d8f0d3","after":"42773e6f7ae9b3726a9e0f92e4d4c03ca8d49ec6","ref":"refs/heads/gh-pages","pushedAt":"2023-07-12T12:01:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ ps-tuebingen-courses/pl1-lecture-notes@f129ccd2c3f835395338215d2876feb58a19ca9d 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/ps-tuebingen-courses/pl1-lecture-notes/commit/f129ccd2c3f835395338215d2876feb58a19ca9d/hovercard\" href=\"https://github.com/ps-tuebingen-courses/pl1-lecture-notes/commit/f129ccd2c3f835395338215d2876feb58a19ca9d\"><tt>f129ccd</tt></a> 🚀"}},{"before":"082f155948c10c6dfd116dd82599294af83ad313","after":"f129ccd2c3f835395338215d2876feb58a19ca9d","ref":"refs/heads/master","pushedAt":"2023-07-12T11:59:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mm0821","name":null,"path":"/mm0821","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/69968840?s=80&v=4"},"commit":{"message":"Improve readability further","shortMessageHtmlLink":"Improve readability further"}},{"before":"56f5f83a4a9e7df1bb3a3e3d28706d497e85f2de","after":"b16093a6a8860225adb911a4c2c5cf3651d8f0d3","ref":"refs/heads/gh-pages","pushedAt":"2023-07-12T11:01:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ ps-tuebingen-courses/pl1-lecture-notes@082f155948c10c6dfd116dd82599294af83ad313 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/ps-tuebingen-courses/pl1-lecture-notes/commit/082f155948c10c6dfd116dd82599294af83ad313/hovercard\" href=\"https://github.com/ps-tuebingen-courses/pl1-lecture-notes/commit/082f155948c10c6dfd116dd82599294af83ad313\"><tt>082f155</tt></a> 🚀"}},{"before":"004180ba0ea20ddc29f87a10c5d37b9df1072ff3","after":"082f155948c10c6dfd116dd82599294af83ad313","ref":"refs/heads/master","pushedAt":"2023-07-12T11:00:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mm0821","name":null,"path":"/mm0821","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/69968840?s=80&v=4"},"commit":{"message":"Improve readability","shortMessageHtmlLink":"Improve readability"}},{"before":"cea864c1acb1254831c8d9db01e0a202a82cdc6e","after":"56f5f83a4a9e7df1bb3a3e3d28706d497e85f2de","ref":"refs/heads/gh-pages","pushedAt":"2023-07-12T10:56:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ ps-tuebingen-courses/pl1-lecture-notes@004180ba0ea20ddc29f87a10c5d37b9df1072ff3 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/ps-tuebingen-courses/pl1-lecture-notes/commit/004180ba0ea20ddc29f87a10c5d37b9df1072ff3/hovercard\" href=\"https://github.com/ps-tuebingen-courses/pl1-lecture-notes/commit/004180ba0ea20ddc29f87a10c5d37b9df1072ff3\"><tt>004180b</tt></a> 🚀"}},{"before":"8033c34c3c2a4e1bb9c88f1529cd14386b8f6039","after":"004180ba0ea20ddc29f87a10c5d37b9df1072ff3","ref":"refs/heads/master","pushedAt":"2023-07-12T10:55:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mm0821","name":null,"path":"/mm0821","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/69968840?s=80&v=4"},"commit":{"message":"Add explicit qualification as workaround for mdoc bug","shortMessageHtmlLink":"Add explicit qualification as workaround for mdoc bug"}},{"before":"5b66e9e8627447ce377a906347e3983bdb9c453b","after":"8033c34c3c2a4e1bb9c88f1529cd14386b8f6039","ref":"refs/heads/master","pushedAt":"2023-07-11T22:39:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mm0821","name":null,"path":"/mm0821","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/69968840?s=80&v=4"},"commit":{"message":"Increase readability","shortMessageHtmlLink":"Increase readability"}},{"before":"eec0082208cdf20e33403491c5ab7731e0628ff9","after":"cea864c1acb1254831c8d9db01e0a202a82cdc6e","ref":"refs/heads/gh-pages","pushedAt":"2023-07-04T22:38:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ ps-tuebingen-courses/pl1-lecture-notes@5b66e9e8627447ce377a906347e3983bdb9c453b 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/ps-tuebingen-courses/pl1-lecture-notes/commit/5b66e9e8627447ce377a906347e3983bdb9c453b/hovercard\" href=\"https://github.com/ps-tuebingen-courses/pl1-lecture-notes/commit/5b66e9e8627447ce377a906347e3983bdb9c453b\"><tt>5b66e9e</tt></a> 🚀"}},{"before":"3873298e32ef0b78386684f091b3296edf57e59e","after":"5b66e9e8627447ce377a906347e3983bdb9c453b","ref":"refs/heads/master","pushedAt":"2023-07-04T22:37:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mm0821","name":null,"path":"/mm0821","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/69968840?s=80&v=4"},"commit":{"message":"Increase readability a bit","shortMessageHtmlLink":"Increase readability a bit"}},{"before":"b17597b5b519419c11e80e8601177479834239e5","after":"eec0082208cdf20e33403491c5ab7731e0628ff9","ref":"refs/heads/gh-pages","pushedAt":"2023-06-27T22:37:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ ps-tuebingen-courses/pl1-lecture-notes@3873298e32ef0b78386684f091b3296edf57e59e 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/ps-tuebingen-courses/pl1-lecture-notes/commit/3873298e32ef0b78386684f091b3296edf57e59e/hovercard\" href=\"https://github.com/ps-tuebingen-courses/pl1-lecture-notes/commit/3873298e32ef0b78386684f091b3296edf57e59e\"><tt>3873298</tt></a> 🚀"}},{"before":"4ccc4f761119061f370751240280cf8df3d55c9f","after":"3873298e32ef0b78386684f091b3296edf57e59e","ref":"refs/heads/master","pushedAt":"2023-06-27T22:36:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mm0821","name":null,"path":"/mm0821","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/69968840?s=80&v=4"},"commit":{"message":"Fix some typos","shortMessageHtmlLink":"Fix some typos"}},{"before":"12dfbdbed7952ef22925c984986119cb5de8cf4a","after":"b17597b5b519419c11e80e8601177479834239e5","ref":"refs/heads/gh-pages","pushedAt":"2023-06-20T23:34:16.608Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ ps-tuebingen-courses/pl1-lecture-notes@4ccc4f761119061f370751240280cf8df3d55c9f 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/ps-tuebingen-courses/pl1-lecture-notes/commit/4ccc4f761119061f370751240280cf8df3d55c9f/hovercard\" href=\"https://github.com/ps-tuebingen-courses/pl1-lecture-notes/commit/4ccc4f761119061f370751240280cf8df3d55c9f\"><tt>4ccc4f7</tt></a> 🚀"}},{"before":"2dae53df089595c4b9b15260d9c6778fb956e4d9","after":"4ccc4f761119061f370751240280cf8df3d55c9f","ref":"refs/heads/master","pushedAt":"2023-06-20T23:33:16.379Z","pushType":"push","commitsCount":1,"pusher":{"login":"mm0821","name":null,"path":"/mm0821","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/69968840?s=80&v=4"},"commit":{"message":"Increase readability a bit","shortMessageHtmlLink":"Increase readability a bit"}},{"before":"ccecd4516dc2828dc32c58385bfc4e98e600aa1f","after":"12dfbdbed7952ef22925c984986119cb5de8cf4a","ref":"refs/heads/gh-pages","pushedAt":"2023-06-15T19:14:19.465Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ ps-tuebingen-courses/pl1-lecture-notes@2dae53df089595c4b9b15260d9c6778fb956e4d9 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/ps-tuebingen-courses/pl1-lecture-notes/commit/2dae53df089595c4b9b15260d9c6778fb956e4d9/hovercard\" href=\"https://github.com/ps-tuebingen-courses/pl1-lecture-notes/commit/2dae53df089595c4b9b15260d9c6778fb956e4d9\"><tt>2dae53d</tt></a> 🚀"}},{"before":"9c6ec4a15bb38de8781cd588939509bc52a05bd7","after":"2dae53df089595c4b9b15260d9c6778fb956e4d9","ref":"refs/heads/master","pushedAt":"2023-06-15T19:13:01.482Z","pushType":"push","commitsCount":1,"pusher":{"login":"mm0821","name":null,"path":"/mm0821","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/69968840?s=80&v=4"},"commit":{"message":"Use String instead of Symbol","shortMessageHtmlLink":"Use String instead of Symbol"}},{"before":"93c94eaa412938549fa5fe96a585ca4307af5580","after":"ccecd4516dc2828dc32c58385bfc4e98e600aa1f","ref":"refs/heads/gh-pages","pushedAt":"2023-06-13T22:31:51.958Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ ps-tuebingen-courses/pl1-lecture-notes@9c6ec4a15bb38de8781cd588939509bc52a05bd7 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/ps-tuebingen-courses/pl1-lecture-notes/commit/9c6ec4a15bb38de8781cd588939509bc52a05bd7/hovercard\" href=\"https://github.com/ps-tuebingen-courses/pl1-lecture-notes/commit/9c6ec4a15bb38de8781cd588939509bc52a05bd7\"><tt>9c6ec4a</tt></a> 🚀"}},{"before":"465cce094674e1973ad1e63c1a38355d3ff98375","after":"9c6ec4a15bb38de8781cd588939509bc52a05bd7","ref":"refs/heads/master","pushedAt":"2023-06-13T22:30:40.516Z","pushType":"push","commitsCount":1,"pusher":{"login":"mm0821","name":null,"path":"/mm0821","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/69968840?s=80&v=4"},"commit":{"message":"Increase readability a bit","shortMessageHtmlLink":"Increase readability a bit"}},{"before":"8ee84f6210a2ca4c240fba30626016ffe826bdd6","after":"93c94eaa412938549fa5fe96a585ca4307af5580","ref":"refs/heads/gh-pages","pushedAt":"2023-06-06T22:33:50.553Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ ps-tuebingen-courses/pl1-lecture-notes@465cce094674e1973ad1e63c1a38355d3ff98375 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/ps-tuebingen-courses/pl1-lecture-notes/commit/465cce094674e1973ad1e63c1a38355d3ff98375/hovercard\" href=\"https://github.com/ps-tuebingen-courses/pl1-lecture-notes/commit/465cce094674e1973ad1e63c1a38355d3ff98375\"><tt>465cce0</tt></a> 🚀"}},{"before":"25c5aa5510554e17fe5d3fd8e9d104f10828c2df","after":"465cce094674e1973ad1e63c1a38355d3ff98375","ref":"refs/heads/master","pushedAt":"2023-06-06T22:32:30.033Z","pushType":"push","commitsCount":1,"pusher":{"login":"mm0821","name":null,"path":"/mm0821","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/69968840?s=80&v=4"},"commit":{"message":"Fix typos","shortMessageHtmlLink":"Fix typos"}},{"before":"61d7e310935c3963fdd2d5645c081df00d6c49ab","after":"8ee84f6210a2ca4c240fba30626016ffe826bdd6","ref":"refs/heads/gh-pages","pushedAt":"2023-06-06T21:04:53.570Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ ps-tuebingen-courses/pl1-lecture-notes@25c5aa5510554e17fe5d3fd8e9d104f10828c2df 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/ps-tuebingen-courses/pl1-lecture-notes/commit/25c5aa5510554e17fe5d3fd8e9d104f10828c2df/hovercard\" href=\"https://github.com/ps-tuebingen-courses/pl1-lecture-notes/commit/25c5aa5510554e17fe5d3fd8e9d104f10828c2df\"><tt>25c5aa5</tt></a> 🚀"}},{"before":"e6f13c76c3df75e02c2c4716fbcd71af60c1540e","after":"25c5aa5510554e17fe5d3fd8e9d104f10828c2df","ref":"refs/heads/master","pushedAt":"2023-06-06T21:03:50.052Z","pushType":"push","commitsCount":1,"pusher":{"login":"mm0821","name":null,"path":"/mm0821","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/69968840?s=80&v=4"},"commit":{"message":"Make minor improvements","shortMessageHtmlLink":"Make minor improvements"}},{"before":"7f4cb1935332df376b1882a847d8b3984dcd761c","after":"61d7e310935c3963fdd2d5645c081df00d6c49ab","ref":"refs/heads/gh-pages","pushedAt":"2023-06-03T15:01:41.734Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ ps-tuebingen-courses/pl1-lecture-notes@e6f13c76c3df75e02c2c4716fbcd71af60c1540e 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/ps-tuebingen-courses/pl1-lecture-notes/commit/e6f13c76c3df75e02c2c4716fbcd71af60c1540e/hovercard\" href=\"https://github.com/ps-tuebingen-courses/pl1-lecture-notes/commit/e6f13c76c3df75e02c2c4716fbcd71af60c1540e\"><tt>e6f13c7</tt></a> 🚀"}},{"before":"118c0a51a8acc06c38b3d00a3f2e186706c2ac73","after":"e6f13c76c3df75e02c2c4716fbcd71af60c1540e","ref":"refs/heads/master","pushedAt":"2023-06-03T15:00:25.387Z","pushType":"push","commitsCount":1,"pusher":{"login":"mm0821","name":null,"path":"/mm0821","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/69968840?s=80&v=4"},"commit":{"message":"Fix broken link for coursier","shortMessageHtmlLink":"Fix broken link for coursier"}},{"before":"f850e492a44a1adc83674a853bc413e8514e9b8b","after":"118c0a51a8acc06c38b3d00a3f2e186706c2ac73","ref":"refs/heads/master","pushedAt":"2023-06-03T14:42:50.262Z","pushType":"push","commitsCount":1,"pusher":{"login":"mm0821","name":null,"path":"/mm0821","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/69968840?s=80&v=4"},"commit":{"message":"Make reference more clear","shortMessageHtmlLink":"Make reference more clear"}},{"before":"4afd3dfad0bc6859046730028d7210bc6f804d49","after":"f850e492a44a1adc83674a853bc413e8514e9b8b","ref":"refs/heads/master","pushedAt":"2023-06-03T14:39:34.852Z","pushType":"push","commitsCount":1,"pusher":{"login":"mm0821","name":null,"path":"/mm0821","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/69968840?s=80&v=4"},"commit":{"message":"Add reference to earlier chapter","shortMessageHtmlLink":"Add reference to earlier chapter"}},{"before":"c47adbfe8d7e10129508e50f9f1d5d7790d76625","after":"7f4cb1935332df376b1882a847d8b3984dcd761c","ref":"refs/heads/gh-pages","pushedAt":"2023-05-23T22:54:40.241Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ ps-tuebingen-courses/pl1-lecture-notes@4afd3dfad0bc6859046730028d7210bc6f804d49 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/ps-tuebingen-courses/pl1-lecture-notes/commit/4afd3dfad0bc6859046730028d7210bc6f804d49/hovercard\" href=\"https://github.com/ps-tuebingen-courses/pl1-lecture-notes/commit/4afd3dfad0bc6859046730028d7210bc6f804d49\"><tt>4afd3df</tt></a> 🚀"}},{"before":"6a71d27db293499ee3af7aca2a356f2b089140d3","after":"4afd3dfad0bc6859046730028d7210bc6f804d49","ref":"refs/heads/master","pushedAt":"2023-05-23T22:53:28.450Z","pushType":"push","commitsCount":1,"pusher":{"login":"mm0821","name":null,"path":"/mm0821","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/69968840?s=80&v=4"},"commit":{"message":"Make minor improvements","shortMessageHtmlLink":"Make minor improvements"}},{"before":"4992336fb04de8ed69107c0fee48ce6ac14a822b","after":"c47adbfe8d7e10129508e50f9f1d5d7790d76625","ref":"refs/heads/gh-pages","pushedAt":"2023-05-22T17:55:27.313Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ ps-tuebingen-courses/pl1-lecture-notes@6a71d27db293499ee3af7aca2a356f2b089140d3 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/ps-tuebingen-courses/pl1-lecture-notes/commit/6a71d27db293499ee3af7aca2a356f2b089140d3/hovercard\" href=\"https://github.com/ps-tuebingen-courses/pl1-lecture-notes/commit/6a71d27db293499ee3af7aca2a356f2b089140d3\"><tt>6a71d27</tt></a> 🚀"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADWEBlqQA","startCursor":null,"endCursor":null}},"title":"Activity · ps-tuebingen-courses/pl1-lecture-notes"}