{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":27347857,"defaultBranch":"source","name":"gallais.github.io","ownerLogin":"gallais","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2014-11-30T19:51:48.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/1094905?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1686677588.463192","currentOid":""},"activityList":{"items":[{"before":"c2c5bbe2f2fd4c41abd444ea01f02bc35b4b3ae1","after":"5cd48ce27bf5305b910bf914d0e93c5ec98a514e","ref":"refs/heads/gh-pages","pushedAt":"2024-04-26T16:24:19.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 @ gallais/gallais.github.io@544cd554f935180a5d798eac5b4c505602c8ec98 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/gallais/gallais.github.io/commit/544cd554f935180a5d798eac5b4c505602c8ec98/hovercard\" href=\"https://github.com/gallais/gallais.github.io/commit/544cd554f935180a5d798eac5b4c505602c8ec98\"><tt>544cd55</tt></a> 🚀"}},{"before":"5ab9820425481bba545f1181659a238ea14f7a30","after":"544cd554f935180a5d798eac5b4c505602c8ec98","ref":"refs/heads/source","pushedAt":"2024-04-26T16:10:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"gallais","name":"G. Allais","path":"/gallais","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1094905?s=80&v=4"},"commit":{"message":"[ new ] draft submitted to JFP","shortMessageHtmlLink":"[ new ] draft submitted to JFP"}},{"before":"394a805136b1f70d523b8e9f25d0c5af02ca9b02","after":"c2c5bbe2f2fd4c41abd444ea01f02bc35b4b3ae1","ref":"refs/heads/gh-pages","pushedAt":"2024-04-15T09:39:13.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 @ gallais/gallais.github.io@5ab9820425481bba545f1181659a238ea14f7a30 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/gallais/gallais.github.io/commit/5ab9820425481bba545f1181659a238ea14f7a30/hovercard\" href=\"https://github.com/gallais/gallais.github.io/commit/5ab9820425481bba545f1181659a238ea14f7a30\"><tt>5ab9820</tt></a> 🚀"}},{"before":"6ff950c44fcfccbf6f94115ae1466ef39417617f","after":"5ab9820425481bba545f1181659a238ea14f7a30","ref":"refs/heads/source","pushedAt":"2024-04-15T09:37:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"gallais","name":"G. Allais","path":"/gallais","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1094905?s=80&v=4"},"commit":{"message":"[ new ] PEPM co-chair","shortMessageHtmlLink":"[ new ] PEPM co-chair"}},{"before":"b373294cd762729eb2c20d0aa590b4fcd5d0984d","after":"394a805136b1f70d523b8e9f25d0c5af02ca9b02","ref":"refs/heads/gh-pages","pushedAt":"2024-02-18T09:48: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 @ gallais/gallais.github.io@6ff950c44fcfccbf6f94115ae1466ef39417617f 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/gallais/gallais.github.io/commit/6ff950c44fcfccbf6f94115ae1466ef39417617f/hovercard\" href=\"https://github.com/gallais/gallais.github.io/commit/6ff950c44fcfccbf6f94115ae1466ef39417617f\"><tt>6ff950c</tt></a> 🚀"}},{"before":"06e1b64aa16a5e5c721b85195a1e3614ca115e25","after":"6ff950c44fcfccbf6f94115ae1466ef39417617f","ref":"refs/heads/source","pushedAt":"2024-02-18T09:46:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"gallais","name":"G. Allais","path":"/gallais","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1094905?s=80&v=4"},"commit":{"message":"[ news ] TyDe PC","shortMessageHtmlLink":"[ news ] TyDe PC"}},{"before":"7046acc3ea3267a17c4888e9369d9bf20eb2224d","after":"b373294cd762729eb2c20d0aa590b4fcd5d0984d","ref":"refs/heads/gh-pages","pushedAt":"2024-01-10T18:19:34.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 @ gallais/gallais.github.io@06e1b64aa16a5e5c721b85195a1e3614ca115e25 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/gallais/gallais.github.io/commit/06e1b64aa16a5e5c721b85195a1e3614ca115e25/hovercard\" href=\"https://github.com/gallais/gallais.github.io/commit/06e1b64aa16a5e5c721b85195a1e3614ca115e25\"><tt>06e1b64</tt></a> 🚀"}},{"before":"eb7d75e1ffb74a6d70c934dc2bb2e556bcdd560c","after":"06e1b64aa16a5e5c721b85195a1e3614ca115e25","ref":"refs/heads/source","pushedAt":"2024-01-10T18:01:30.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"gallais","name":"G. Allais","path":"/gallais","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1094905?s=80&v=4"},"commit":{"message":"[ teaching ] stub for Agda course","shortMessageHtmlLink":"[ teaching ] stub for Agda course"}},{"before":"6fd0acd87a64876a5594473c2ca0b1251b8a073c","after":"eb7d75e1ffb74a6d70c934dc2bb2e556bcdd560c","ref":"refs/heads/source","pushedAt":"2024-01-10T18:00:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"gallais","name":"G. Allais","path":"/gallais","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1094905?s=80&v=4"},"commit":{"message":"[ teaching ] stub for Agda course","shortMessageHtmlLink":"[ teaching ] stub for Agda course"}},{"before":"5c5bfa6f243ce49ff6e617afce9972b11fb491ee","after":"6fd0acd87a64876a5594473c2ca0b1251b8a073c","ref":"refs/heads/source","pushedAt":"2024-01-10T17:59:50.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"gallais","name":"G. Allais","path":"/gallais","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1094905?s=80&v=4"},"commit":{"message":"[ ci ] better caching for cron jobs","shortMessageHtmlLink":"[ ci ] better caching for cron jobs"}},{"before":"f5fbd965f13ac20074d9e98fa1430f1f4d1be268","after":"5c5bfa6f243ce49ff6e617afce9972b11fb491ee","ref":"refs/heads/source","pushedAt":"2024-01-10T17:45:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"gallais","name":"G. Allais","path":"/gallais","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1094905?s=80&v=4"},"commit":{"message":"[ ci ] better caching for cron jobs","shortMessageHtmlLink":"[ ci ] better caching for cron jobs"}},{"before":"856fb435faf4f56800bedd274d0e2cf0da145e19","after":"f5fbd965f13ac20074d9e98fa1430f1f4d1be268","ref":"refs/heads/source","pushedAt":"2023-11-27T15:50:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"gallais","name":"G. Allais","path":"/gallais","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1094905?s=80&v=4"},"commit":{"message":"[ ci ] better cache eviction policy","shortMessageHtmlLink":"[ ci ] better cache eviction policy"}},{"before":"00bdfb7b2368724ae8bf8a45d3e4e139f4a74af2","after":"856fb435faf4f56800bedd274d0e2cf0da145e19","ref":"refs/heads/source","pushedAt":"2023-11-22T16:11:09.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"gallais","name":"G. Allais","path":"/gallais","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1094905?s=80&v=4"},"commit":{"message":"[ ci ] combat cache eviction","shortMessageHtmlLink":"[ ci ] combat cache eviction"}},{"before":"b8a5f4b8ebf5175c14a8e07db329a5fff272d208","after":"00bdfb7b2368724ae8bf8a45d3e4e139f4a74af2","ref":"refs/heads/source","pushedAt":"2023-11-22T14:22:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"gallais","name":"G. Allais","path":"/gallais","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1094905?s=80&v=4"},"commit":{"message":"[ ci ] combat cache eviction","shortMessageHtmlLink":"[ ci ] combat cache eviction"}},{"before":"5e453386242d726db26d97483d4087a9692090e5","after":"7046acc3ea3267a17c4888e9369d9bf20eb2224d","ref":"refs/heads/gh-pages","pushedAt":"2023-11-22T14:19:36.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 @ gallais/gallais.github.io@b8a5f4b8ebf5175c14a8e07db329a5fff272d208 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/gallais/gallais.github.io/commit/b8a5f4b8ebf5175c14a8e07db329a5fff272d208/hovercard\" href=\"https://github.com/gallais/gallais.github.io/commit/b8a5f4b8ebf5175c14a8e07db329a5fff272d208\"><tt>b8a5f4b</tt></a> 🚀"}},{"before":"863783a316f5797e1787307ccf34a938d5ab0062","after":"b8a5f4b8ebf5175c14a8e07db329a5fff272d208","ref":"refs/heads/source","pushedAt":"2023-11-22T13:56:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"gallais","name":"G. Allais","path":"/gallais","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1094905?s=80&v=4"},"commit":{"message":"[ news ] PEPM paper","shortMessageHtmlLink":"[ news ] PEPM paper"}},{"before":"4788c6bb98647bd85c20d8e2147d6bcf6a948087","after":"5e453386242d726db26d97483d4087a9692090e5","ref":"refs/heads/gh-pages","pushedAt":"2023-11-09T11:08:09.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 @ gallais/gallais.github.io@863783a316f5797e1787307ccf34a938d5ab0062 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/gallais/gallais.github.io/commit/863783a316f5797e1787307ccf34a938d5ab0062/hovercard\" href=\"https://github.com/gallais/gallais.github.io/commit/863783a316f5797e1787307ccf34a938d5ab0062\"><tt>863783a</tt></a> 🚀"}},{"before":"8776d00401cf54ada922e5a1c6ddfdd30a37410a","after":"863783a316f5797e1787307ccf34a938d5ab0062","ref":"refs/heads/source","pushedAt":"2023-11-09T10:33:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"gallais","name":"G. Allais","path":"/gallais","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1094905?s=80&v=4"},"commit":{"message":"[ PLUG ] slides","shortMessageHtmlLink":"[ PLUG ] slides"}},{"before":"8379a9347cacecee876ae955ed55c331d70121bd","after":"4788c6bb98647bd85c20d8e2147d6bcf6a948087","ref":"refs/heads/gh-pages","pushedAt":"2023-10-24T08:16:08.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 @ gallais/gallais.github.io@8776d00401cf54ada922e5a1c6ddfdd30a37410a 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/gallais/gallais.github.io/commit/8776d00401cf54ada922e5a1c6ddfdd30a37410a/hovercard\" href=\"https://github.com/gallais/gallais.github.io/commit/8776d00401cf54ada922e5a1c6ddfdd30a37410a\"><tt>8776d00</tt></a> 🚀"}},{"before":"3789dc65d9edc839629e332e01578c84a5f8152b","after":"8776d00401cf54ada922e5a1c6ddfdd30a37410a","ref":"refs/heads/source","pushedAt":"2023-10-24T08:13:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"gallais","name":"G. Allais","path":"/gallais","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1094905?s=80&v=4"},"commit":{"message":"[ fix ] remove trailing whitespace\n\nAlso updated modification date","shortMessageHtmlLink":"[ fix ] remove trailing whitespace"}},{"before":"df4060c619af924d7064457310e37abd0fe18adc","after":"3789dc65d9edc839629e332e01578c84a5f8152b","ref":"refs/heads/source","pushedAt":"2023-10-23T14:30:40.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"gallais","name":"G. Allais","path":"/gallais","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1094905?s=80&v=4"},"commit":{"message":"[ ci ] update deploy action","shortMessageHtmlLink":"[ ci ] update deploy action"}},{"before":"15e1f246c373a2c4ce6151e39847c844aabb2e7c","after":"8379a9347cacecee876ae955ed55c331d70121bd","ref":"refs/heads/gh-pages","pushedAt":"2023-10-23T14:28:26.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 @ gallais/gallais.github.io@910173c9851eed4ec3923562a90c8bf2351f3317 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/gallais/gallais.github.io/commit/910173c9851eed4ec3923562a90c8bf2351f3317/hovercard\" href=\"https://github.com/gallais/gallais.github.io/commit/910173c9851eed4ec3923562a90c8bf2351f3317\"><tt>910173c</tt></a> 🚀"}},{"before":"910173c9851eed4ec3923562a90c8bf2351f3317","after":"df4060c619af924d7064457310e37abd0fe18adc","ref":"refs/heads/source","pushedAt":"2023-10-23T14:26:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"gallais","name":"G. Allais","path":"/gallais","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1094905?s=80&v=4"},"commit":{"message":"[ ci ] update deploy action","shortMessageHtmlLink":"[ ci ] update deploy action"}},{"before":"4bc1830a86b7c4e184c2b89f9d42572536897c51","after":"910173c9851eed4ec3923562a90c8bf2351f3317","ref":"refs/heads/source","pushedAt":"2023-10-23T14:26:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"gallais","name":"G. Allais","path":"/gallais","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1094905?s=80&v=4"},"commit":{"message":"[ cosmetics ] even better css","shortMessageHtmlLink":"[ cosmetics ] even better css"}},{"before":"9626ec7c8daa0e7fb42e33f3cd43aaf913a7571f","after":"15e1f246c373a2c4ce6151e39847c844aabb2e7c","ref":"refs/heads/gh-pages","pushedAt":"2023-10-23T13:44:10.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 @ gallais/gallais.github.io@4bc1830a86b7c4e184c2b89f9d42572536897c51 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/gallais/gallais.github.io/commit/4bc1830a86b7c4e184c2b89f9d42572536897c51/hovercard\" href=\"https://github.com/gallais/gallais.github.io/commit/4bc1830a86b7c4e184c2b89f9d42572536897c51\"><tt>4bc1830</tt></a> 🚀"}},{"before":"0e0e7ade790197c260e39c2e662080326d4764d4","after":"4bc1830a86b7c4e184c2b89f9d42572536897c51","ref":"refs/heads/source","pushedAt":"2023-10-23T13:41:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"gallais","name":"G. Allais","path":"/gallais","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1094905?s=80&v=4"},"commit":{"message":"[ cosmetics ] style improvements","shortMessageHtmlLink":"[ cosmetics ] style improvements"}},{"before":"ed6ca1b64fb47a7c50cd0db90ddfbab0f0403f1b","after":"9626ec7c8daa0e7fb42e33f3cd43aaf913a7571f","ref":"refs/heads/gh-pages","pushedAt":"2023-10-23T12:38: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 @ gallais/gallais.github.io@0e0e7ade790197c260e39c2e662080326d4764d4 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/gallais/gallais.github.io/commit/0e0e7ade790197c260e39c2e662080326d4764d4/hovercard\" href=\"https://github.com/gallais/gallais.github.io/commit/0e0e7ade790197c260e39c2e662080326d4764d4\"><tt>0e0e7ad</tt></a> 🚀"}},{"before":"1f1200bfa9224b4cc3d13e83c6f9c59085df5b48","after":"0e0e7ade790197c260e39c2e662080326d4764d4","ref":"refs/heads/source","pushedAt":"2023-10-23T12:36:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"gallais","name":"G. Allais","path":"/gallais","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1094905?s=80&v=4"},"commit":{"message":"[ update ] Kathrin's website","shortMessageHtmlLink":"[ update ] Kathrin's website"}},{"before":"5be6c25c312183f3abda9ebf07dc64561ac96c1f","after":"ed6ca1b64fb47a7c50cd0db90ddfbab0f0403f1b","ref":"refs/heads/gh-pages","pushedAt":"2023-10-23T12:15:07.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 @ gallais/gallais.github.io@1f1200bfa9224b4cc3d13e83c6f9c59085df5b48 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/gallais/gallais.github.io/commit/1f1200bfa9224b4cc3d13e83c6f9c59085df5b48/hovercard\" href=\"https://github.com/gallais/gallais.github.io/commit/1f1200bfa9224b4cc3d13e83c6f9c59085df5b48\"><tt>1f1200b</tt></a> 🚀"}},{"before":"98992ffc2e97a7b6c2ed77655afd7ba17394eb11","after":"1f1200bfa9224b4cc3d13e83c6f9c59085df5b48","ref":"refs/heads/source","pushedAt":"2023-10-23T12:12:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"gallais","name":"G. Allais","path":"/gallais","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1094905?s=80&v=4"},"commit":{"message":"[ new ] pub list","shortMessageHtmlLink":"[ new ] pub list"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEO1ehYgA","startCursor":null,"endCursor":null}},"title":"Activity · gallais/gallais.github.io"}