{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":84554235,"defaultBranch":"dev","name":"plfa.github.io","ownerLogin":"plfa","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2017-03-10T11:41:30.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/40851723?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1722271533.0","currentOid":""},"activityList":{"items":[{"before":"cbdd2626a79919cda783627cea137ff7d0b007f4","after":"4f76dea26ece7febe6b5e855bb351b0b7e61e0da","ref":"refs/heads/web","pushedAt":"2024-07-29T17:14:00.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 web from @ plfa/plfa.github.io@23cc18532bc96e3b6b962a67b806ef6c9d3244f9 ๐","shortMessageHtmlLink":"Deploying to web from @ 23cc185 ๐"}},{"before":"ccdfd447dc93e40709147ebb445f35f8ad294f7a","after":null,"ref":"refs/heads/confluence-explain-subst","pushedAt":"2024-07-29T16:45:33.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"wadler","name":"Philip Wadler","path":"/wadler","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4890546?s=80&v=4"}},{"before":"23cc18532bc96e3b6b962a67b806ef6c9d3244f9","after":null,"ref":"refs/heads/gh-readonly-queue/dev/pr-1022-ed27745695d2997b3900659e118e2f47a912982d","pushedAt":"2024-07-29T16:45:32.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"github-merge-queue[bot]","name":null,"path":"/apps/github-merge-queue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9919?s=80&v=4"}},{"before":"ed27745695d2997b3900659e118e2f47a912982d","after":"23cc18532bc96e3b6b962a67b806ef6c9d3244f9","ref":"refs/heads/dev","pushedAt":"2024-07-29T16:45:31.000Z","pushType":"merge_queue_merge","commitsCount":1,"pusher":{"login":"github-merge-queue[bot]","name":null,"path":"/apps/github-merge-queue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9919?s=80&v=4"},"commit":{"message":"explain Subst and Rename in Confluence chapter (#1022)","shortMessageHtmlLink":"explain Subst and Rename in Confluence chapter (#1022)"}},{"before":null,"after":"23cc18532bc96e3b6b962a67b806ef6c9d3244f9","ref":"refs/heads/gh-readonly-queue/dev/pr-1022-ed27745695d2997b3900659e118e2f47a912982d","pushedAt":"2024-07-29T16:15:27.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"github-merge-queue[bot]","name":null,"path":"/apps/github-merge-queue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9919?s=80&v=4"},"commit":{"message":"explain Subst and Rename in Confluence chapter (#1022)","shortMessageHtmlLink":"explain Subst and Rename in Confluence chapter (#1022)"}},{"before":null,"after":"ccdfd447dc93e40709147ebb445f35f8ad294f7a","ref":"refs/heads/confluence-explain-subst","pushedAt":"2024-07-29T13:22:53.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"jsiek","name":"Jeremy G. Siek","path":"/jsiek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3834684?s=80&v=4"},"commit":{"message":"explain Subst and Rename in Confluence chapter","shortMessageHtmlLink":"explain Subst and Rename in Confluence chapter"}},{"before":"f69f08da2cd9e72ac22e7103888a11c09b9a544f","after":"cbdd2626a79919cda783627cea137ff7d0b007f4","ref":"refs/heads/web","pushedAt":"2024-07-24T14:21:58.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 web from @ plfa/plfa.github.io@ed27745695d2997b3900659e118e2f47a912982d ๐","shortMessageHtmlLink":"Deploying to web from @ ed27745 ๐"}},{"before":"31311b67c1d6ba2e4f5abd53ba87492581fb8d1d","after":null,"ref":"refs/heads/tspl-2024-07-23","pushedAt":"2024-07-24T13:35:45.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"wadler","name":"Philip Wadler","path":"/wadler","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4890546?s=80&v=4"}},{"before":"ed27745695d2997b3900659e118e2f47a912982d","after":null,"ref":"refs/heads/gh-readonly-queue/dev/pr-1017-496fdb1999a02a4eac5fd370305304a1375f6566","pushedAt":"2024-07-24T13:35:44.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"github-merge-queue[bot]","name":null,"path":"/apps/github-merge-queue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9919?s=80&v=4"}},{"before":"496fdb1999a02a4eac5fd370305304a1375f6566","after":"ed27745695d2997b3900659e118e2f47a912982d","ref":"refs/heads/dev","pushedAt":"2024-07-24T13:35:43.000Z","pushType":"merge_queue_merge","commitsCount":1,"pusher":{"login":"github-merge-queue[bot]","name":null,"path":"/apps/github-merge-queue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9919?s=80&v=4"},"commit":{"message":"updated extra/Subtyping-phil.lagda.md (#1017)","shortMessageHtmlLink":"updated extra/Subtyping-phil.lagda.md (#1017)"}},{"before":null,"after":"ed27745695d2997b3900659e118e2f47a912982d","ref":"refs/heads/gh-readonly-queue/dev/pr-1017-496fdb1999a02a4eac5fd370305304a1375f6566","pushedAt":"2024-07-24T12:46:45.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"github-merge-queue[bot]","name":null,"path":"/apps/github-merge-queue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9919?s=80&v=4"},"commit":{"message":"updated extra/Subtyping-phil.lagda.md (#1017)","shortMessageHtmlLink":"updated extra/Subtyping-phil.lagda.md (#1017)"}},{"before":null,"after":"31311b67c1d6ba2e4f5abd53ba87492581fb8d1d","ref":"refs/heads/tspl-2024-07-23","pushedAt":"2024-07-23T19:09:42.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"wadler","name":"Philip Wadler","path":"/wadler","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4890546?s=80&v=4"},"commit":{"message":"updated extra/Subtyping-phil.lagda.md","shortMessageHtmlLink":"updated extra/Subtyping-phil.lagda.md"}},{"before":"ce26bde7ed36c4e7886fb9ae544bc769d50fe968","after":"f69f08da2cd9e72ac22e7103888a11c09b9a544f","ref":"refs/heads/web","pushedAt":"2024-07-15T23:16:22.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 web from @ plfa/plfa.github.io@496fdb1999a02a4eac5fd370305304a1375f6566 ๐","shortMessageHtmlLink":"Deploying to web from @ 496fdb1 ๐"}},{"before":"d3665cc565b7f4304c5d8190fff2de68797e5242","after":null,"ref":"refs/heads/dependabot/npm_and_yarn/sass-1.77.8","pushedAt":"2024-07-15T22:49:27.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"wenkokke","name":"Wen Kokke","path":"/wenkokke","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3983973?s=80&v=4"}},{"before":"496fdb1999a02a4eac5fd370305304a1375f6566","after":null,"ref":"refs/heads/gh-readonly-queue/dev/pr-1015-d2f70f461bb53a9285ad463028644c66af93cb56","pushedAt":"2024-07-15T22:49:27.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"github-merge-queue[bot]","name":null,"path":"/apps/github-merge-queue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9919?s=80&v=4"}},{"before":"d2f70f461bb53a9285ad463028644c66af93cb56","after":"496fdb1999a02a4eac5fd370305304a1375f6566","ref":"refs/heads/dev","pushedAt":"2024-07-15T22:49:26.000Z","pushType":"merge_queue_merge","commitsCount":1,"pusher":{"login":"github-merge-queue[bot]","name":null,"path":"/apps/github-merge-queue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9919?s=80&v=4"},"commit":{"message":"Bump sass from 1.77.6 to 1.77.8 (#1015)\n\nBumps [sass](https://github.com/sass/dart-sass) from 1.77.6 to 1.77.8.\n- [Release notes](https://github.com/sass/dart-sass/releases)\n- [Changelog](https://github.com/sass/dart-sass/blob/main/CHANGELOG.md)\n- [Commits](https://github.com/sass/dart-sass/compare/1.77.6...1.77.8)\n\n---\nupdated-dependencies:\n- dependency-name: sass\n dependency-type: direct:development\n update-type: version-update:semver-patch\n...\n\nSigned-off-by: dependabot[bot] \nCo-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>","shortMessageHtmlLink":"Bump sass from 1.77.6 to 1.77.8 (#1015)"}},{"before":null,"after":"496fdb1999a02a4eac5fd370305304a1375f6566","ref":"refs/heads/gh-readonly-queue/dev/pr-1015-d2f70f461bb53a9285ad463028644c66af93cb56","pushedAt":"2024-07-15T22:22:52.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"github-merge-queue[bot]","name":null,"path":"/apps/github-merge-queue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9919?s=80&v=4"},"commit":{"message":"Bump sass from 1.77.6 to 1.77.8 (#1015)\n\nBumps [sass](https://github.com/sass/dart-sass) from 1.77.6 to 1.77.8.\n- [Release notes](https://github.com/sass/dart-sass/releases)\n- [Changelog](https://github.com/sass/dart-sass/blob/main/CHANGELOG.md)\n- [Commits](https://github.com/sass/dart-sass/compare/1.77.6...1.77.8)\n\n---\nupdated-dependencies:\n- dependency-name: sass\n dependency-type: direct:development\n update-type: version-update:semver-patch\n...\n\nSigned-off-by: dependabot[bot] \nCo-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>","shortMessageHtmlLink":"Bump sass from 1.77.6 to 1.77.8 (#1015)"}},{"before":null,"after":"d3665cc565b7f4304c5d8190fff2de68797e5242","ref":"refs/heads/dependabot/npm_and_yarn/sass-1.77.8","pushedAt":"2024-07-15T19:51:28.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"},"commit":{"message":"Bump sass from 1.77.6 to 1.77.8\n\nBumps [sass](https://github.com/sass/dart-sass) from 1.77.6 to 1.77.8.\n- [Release notes](https://github.com/sass/dart-sass/releases)\n- [Changelog](https://github.com/sass/dart-sass/blob/main/CHANGELOG.md)\n- [Commits](https://github.com/sass/dart-sass/compare/1.77.6...1.77.8)\n\n---\nupdated-dependencies:\n- dependency-name: sass\n dependency-type: direct:development\n update-type: version-update:semver-patch\n...\n\nSigned-off-by: dependabot[bot] ","shortMessageHtmlLink":"Bump sass from 1.77.6 to 1.77.8"}},{"before":"03fda5caa10e084d061271eaafd814d12eab000d","after":"ce26bde7ed36c4e7886fb9ae544bc769d50fe968","ref":"refs/heads/web","pushedAt":"2024-07-14T10:34:14.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 web from @ plfa/plfa.github.io@d2f70f461bb53a9285ad463028644c66af93cb56 ๐","shortMessageHtmlLink":"Deploying to web from @ d2f70f4 ๐"}},{"before":"57a9e879ca8ec300a663564dfd8f488212c99afa","after":null,"ref":"refs/heads/fix-sub-abs","pushedAt":"2024-07-14T10:08:45.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"wenkokke","name":"Wen Kokke","path":"/wenkokke","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3983973?s=80&v=4"}},{"before":"d2f70f461bb53a9285ad463028644c66af93cb56","after":null,"ref":"refs/heads/gh-readonly-queue/dev/pr-1014-d6468f7eca82527056b19267a29fd863cca3a363","pushedAt":"2024-07-14T10:08:45.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"github-merge-queue[bot]","name":null,"path":"/apps/github-merge-queue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9919?s=80&v=4"}},{"before":"d6468f7eca82527056b19267a29fd863cca3a363","after":"d2f70f461bb53a9285ad463028644c66af93cb56","ref":"refs/heads/dev","pushedAt":"2024-07-14T10:08:44.000Z","pushType":"merge_queue_merge","commitsCount":1,"pusher":{"login":"github-merge-queue[bot]","name":null,"path":"/apps/github-merge-queue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9919?s=80&v=4"},"commit":{"message":"fix sub-abs in summary of the sigma algebra (#1014)","shortMessageHtmlLink":"fix sub-abs in summary of the sigma algebra (#1014)"}},{"before":null,"after":"d2f70f461bb53a9285ad463028644c66af93cb56","ref":"refs/heads/gh-readonly-queue/dev/pr-1014-d6468f7eca82527056b19267a29fd863cca3a363","pushedAt":"2024-07-14T09:44:30.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"github-merge-queue[bot]","name":null,"path":"/apps/github-merge-queue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9919?s=80&v=4"},"commit":{"message":"fix sub-abs in summary of the sigma algebra (#1014)","shortMessageHtmlLink":"fix sub-abs in summary of the sigma algebra (#1014)"}},{"before":null,"after":"57a9e879ca8ec300a663564dfd8f488212c99afa","ref":"refs/heads/fix-sub-abs","pushedAt":"2024-07-14T01:41:07.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"jsiek","name":"Jeremy G. Siek","path":"/jsiek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3834684?s=80&v=4"},"commit":{"message":"fix sub-abs in summary of the sigma algebra","shortMessageHtmlLink":"fix sub-abs in summary of the sigma algebra"}},{"before":"8d0a4fcf9bc7e8617b8e0c988179300c957736b7","after":"03fda5caa10e084d061271eaafd814d12eab000d","ref":"refs/heads/web","pushedAt":"2024-07-09T00:59:06.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 web from @ plfa/plfa.github.io@d6468f7eca82527056b19267a29fd863cca3a363 ๐","shortMessageHtmlLink":"Deploying to web from @ d6468f7 ๐"}},{"before":"3ff52756ca30bf98e63c165e2cf034c607b8726d","after":null,"ref":"refs/heads/dependabot/github_actions/JamesIves/github-pages-deploy-action-4.6.3","pushedAt":"2024-07-09T00:13:32.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"wenkokke","name":"Wen Kokke","path":"/wenkokke","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3983973?s=80&v=4"}},{"before":"d6468f7eca82527056b19267a29fd863cca3a363","after":null,"ref":"refs/heads/gh-readonly-queue/dev/pr-1012-74fc93742a5ef80e0e9af4074dfd833fd9d3a00d","pushedAt":"2024-07-09T00:13:32.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"github-merge-queue[bot]","name":null,"path":"/apps/github-merge-queue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9919?s=80&v=4"}},{"before":"74fc93742a5ef80e0e9af4074dfd833fd9d3a00d","after":"d6468f7eca82527056b19267a29fd863cca3a363","ref":"refs/heads/dev","pushedAt":"2024-07-09T00:13:30.000Z","pushType":"merge_queue_merge","commitsCount":1,"pusher":{"login":"github-merge-queue[bot]","name":null,"path":"/apps/github-merge-queue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9919?s=80&v=4"},"commit":{"message":"Bump JamesIves/github-pages-deploy-action from 4.6.1 to 4.6.3 (#1012)\n\nBumps [JamesIves/github-pages-deploy-action](https://github.com/jamesives/github-pages-deploy-action) from 4.6.1 to 4.6.3.\n- [Release notes](https://github.com/jamesives/github-pages-deploy-action/releases)\n- [Commits](https://github.com/jamesives/github-pages-deploy-action/compare/v4.6.1...v4.6.3)\n\n---\nupdated-dependencies:\n- dependency-name: JamesIves/github-pages-deploy-action\n dependency-type: direct:production\n update-type: version-update:semver-patch\n...\n\nSigned-off-by: dependabot[bot] \nCo-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>","shortMessageHtmlLink":"Bump JamesIves/github-pages-deploy-action from 4.6.1 to 4.6.3 (#1012)"}},{"before":null,"after":"d6468f7eca82527056b19267a29fd863cca3a363","ref":"refs/heads/gh-readonly-queue/dev/pr-1012-74fc93742a5ef80e0e9af4074dfd833fd9d3a00d","pushedAt":"2024-07-08T23:28:38.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"github-merge-queue[bot]","name":null,"path":"/apps/github-merge-queue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9919?s=80&v=4"},"commit":{"message":"Bump JamesIves/github-pages-deploy-action from 4.6.1 to 4.6.3 (#1012)\n\nBumps [JamesIves/github-pages-deploy-action](https://github.com/jamesives/github-pages-deploy-action) from 4.6.1 to 4.6.3.\n- [Release notes](https://github.com/jamesives/github-pages-deploy-action/releases)\n- [Commits](https://github.com/jamesives/github-pages-deploy-action/compare/v4.6.1...v4.6.3)\n\n---\nupdated-dependencies:\n- dependency-name: JamesIves/github-pages-deploy-action\n dependency-type: direct:production\n update-type: version-update:semver-patch\n...\n\nSigned-off-by: dependabot[bot] \nCo-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>","shortMessageHtmlLink":"Bump JamesIves/github-pages-deploy-action from 4.6.1 to 4.6.3 (#1012)"}},{"before":null,"after":"3ff52756ca30bf98e63c165e2cf034c607b8726d","ref":"refs/heads/dependabot/github_actions/JamesIves/github-pages-deploy-action-4.6.3","pushedAt":"2024-07-08T19:54:03.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"},"commit":{"message":"Bump JamesIves/github-pages-deploy-action from 4.6.1 to 4.6.3\n\nBumps [JamesIves/github-pages-deploy-action](https://github.com/jamesives/github-pages-deploy-action) from 4.6.1 to 4.6.3.\n- [Release notes](https://github.com/jamesives/github-pages-deploy-action/releases)\n- [Commits](https://github.com/jamesives/github-pages-deploy-action/compare/v4.6.1...v4.6.3)\n\n---\nupdated-dependencies:\n- dependency-name: JamesIves/github-pages-deploy-action\n dependency-type: direct:production\n update-type: version-update:semver-patch\n...\n\nSigned-off-by: dependabot[bot] ","shortMessageHtmlLink":"Bump JamesIves/github-pages-deploy-action from 4.6.1 to 4.6.3"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEjCadRgA","startCursor":null,"endCursor":null}},"title":"Activity ยท plfa/plfa.github.io"}