{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":654934064,"defaultBranch":"main","name":"RMT4","ownerLogin":"vbeffara","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-06-17T11:26:57.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/248972?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1710634539.0","currentOid":""},"activityList":{"items":[{"before":"a064620f40ab7ee35f7663e6e9f758ee7befb6b5","after":"c2a092d029d0e6d29a381ac4ad9e85b10d97391c","ref":"refs/heads/main","pushedAt":"2024-03-18T15:07:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vbeffara","name":"Vincent Beffara","path":"/vbeffara","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/248972?s=80&v=4"},"commit":{"message":"Refactor","shortMessageHtmlLink":"Refactor"}},{"before":"51a25fcbbcf1bac59af6dd8afb5312bf81ab2882","after":"a064620f40ab7ee35f7663e6e9f758ee7befb6b5","ref":"refs/heads/main","pushedAt":"2024-03-18T14:31:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vbeffara","name":"Vincent Beffara","path":"/vbeffara","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/248972?s=80&v=4"},"commit":{"message":"Rename montel.lean","shortMessageHtmlLink":"Rename montel.lean"}},{"before":"f4d035100247c1d737fc48c4f4a0601064a41af9","after":"51a25fcbbcf1bac59af6dd8afb5312bf81ab2882","ref":"refs/heads/main","pushedAt":"2024-03-18T14:17:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vbeffara","name":"Vincent Beffara","path":"/vbeffara","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/248972?s=80&v=4"},"commit":{"message":"Move contour integral stuff to another project","shortMessageHtmlLink":"Move contour integral stuff to another project"}},{"before":"4dd23377f002c74fdf19589b082c86ebadcdf4ff","after":"f4d035100247c1d737fc48c4f4a0601064a41af9","ref":"refs/heads/main","pushedAt":"2024-03-18T13:45:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vbeffara","name":"Vincent Beffara","path":"/vbeffara","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/248972?s=80&v=4"},"commit":{"message":"Tweaks","shortMessageHtmlLink":"Tweaks"}},{"before":"5932101c55011504ce4f2206c3b196956bcebc22","after":"4dd23377f002c74fdf19589b082c86ebadcdf4ff","ref":"refs/heads/main","pushedAt":"2024-03-17T23:56:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vbeffara","name":"Vincent Beffara","path":"/vbeffara","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/248972?s=80&v=4"},"commit":{"message":"Tweaks","shortMessageHtmlLink":"Tweaks"}},{"before":"decdbadf91ce2e3f4d27970bcbd57ce93ca22526","after":"5932101c55011504ce4f2206c3b196956bcebc22","ref":"refs/heads/main","pushedAt":"2024-03-17T23:04:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vbeffara","name":"Vincent Beffara","path":"/vbeffara","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/248972?s=80&v=4"},"commit":{"message":"Tweaks","shortMessageHtmlLink":"Tweaks"}},{"before":"d05f38fc7f9a3277769cdd5cf8ba090ef7682793","after":"decdbadf91ce2e3f4d27970bcbd57ce93ca22526","ref":"refs/heads/main","pushedAt":"2024-03-17T18:31:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vbeffara","name":"Vincent Beffara","path":"/vbeffara","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/248972?s=80&v=4"},"commit":{"message":"Tweaks","shortMessageHtmlLink":"Tweaks"}},{"before":"72cdb720db5e6adbb87298f13ed60247031ab52c","after":"d05f38fc7f9a3277769cdd5cf8ba090ef7682793","ref":"refs/heads/main","pushedAt":"2024-03-17T00:15:51.000Z","pushType":"push","commitsCount":7,"pusher":{"login":"vbeffara","name":"Vincent Beffara","path":"/vbeffara","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/248972?s=80&v=4"},"commit":{"message":"Tweaks","shortMessageHtmlLink":"Tweaks"}},{"before":"d05f38fc7f9a3277769cdd5cf8ba090ef7682793","after":null,"ref":"refs/heads/ascoli","pushedAt":"2024-03-17T00:15:39.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"vbeffara","name":"Vincent Beffara","path":"/vbeffara","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/248972?s=80&v=4"}},{"before":"33ebaffdb65f8aa0f4664f72037728258a2ecedc","after":"d05f38fc7f9a3277769cdd5cf8ba090ef7682793","ref":"refs/heads/ascoli","pushedAt":"2024-03-17T00:10:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vbeffara","name":"Vincent Beffara","path":"/vbeffara","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/248972?s=80&v=4"},"commit":{"message":"Tweaks","shortMessageHtmlLink":"Tweaks"}},{"before":"fb0ad454bb21de903e5cace6afc2002d4bf12fae","after":"33ebaffdb65f8aa0f4664f72037728258a2ecedc","ref":"refs/heads/ascoli","pushedAt":"2024-03-17T00:03:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vbeffara","name":"Vincent Beffara","path":"/vbeffara","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/248972?s=80&v=4"},"commit":{"message":"Clean up Montel","shortMessageHtmlLink":"Clean up Montel"}},{"before":"b44e8cb308dcabcd515c1240c7868ee71b8e70c8","after":"fb0ad454bb21de903e5cace6afc2002d4bf12fae","ref":"refs/heads/ascoli","pushedAt":"2024-03-16T23:07:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vbeffara","name":"Vincent Beffara","path":"/vbeffara","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/248972?s=80&v=4"},"commit":{"message":"Montel is sorry-free","shortMessageHtmlLink":"Montel is sorry-free"}},{"before":"1200bd4d30c0921b83b26ed33ea71831c497b121","after":"b44e8cb308dcabcd515c1240c7868ee71b8e70c8","ref":"refs/heads/ascoli","pushedAt":"2024-03-16T14:33:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vbeffara","name":"Vincent Beffara","path":"/vbeffara","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/248972?s=80&v=4"},"commit":{"message":"Tweak","shortMessageHtmlLink":"Tweak"}},{"before":"3569353af66e59217084515b0ddbf2b81e139d6c","after":"1200bd4d30c0921b83b26ed33ea71831c497b121","ref":"refs/heads/ascoli","pushedAt":"2024-03-16T10:39:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vbeffara","name":"Vincent Beffara","path":"/vbeffara","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/248972?s=80&v=4"},"commit":{"message":"Spring cleaning","shortMessageHtmlLink":"Spring cleaning"}},{"before":null,"after":"3569353af66e59217084515b0ddbf2b81e139d6c","ref":"refs/heads/ascoli","pushedAt":"2024-03-15T22:58:26.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"vbeffara","name":"Vincent Beffara","path":"/vbeffara","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/248972?s=80&v=4"},"commit":{"message":"Adapt to the Ascoli PR","shortMessageHtmlLink":"Adapt to the Ascoli PR"}},{"before":"63313fabeaffa39e719eb03326633a58e30f7b98","after":"72cdb720db5e6adbb87298f13ed60247031ab52c","ref":"refs/heads/main","pushedAt":"2024-03-05T20:24:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vbeffara","name":"Vincent Beffara","path":"/vbeffara","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/248972?s=80&v=4"},"commit":{"message":"Bump mathlib","shortMessageHtmlLink":"Bump mathlib"}},{"before":"ef1f9a4bb872c4adb2c897c76e74e0ececd78bc3","after":"63313fabeaffa39e719eb03326633a58e30f7b98","ref":"refs/heads/main","pushedAt":"2024-02-28T22:44:58.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"vbeffara","name":"Vincent Beffara","path":"/vbeffara","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/248972?s=80&v=4"},"commit":{"message":"Small refactor","shortMessageHtmlLink":"Small refactor"}},{"before":"657db63124a1466e94afd0853ed46bacc29a808c","after":"ef1f9a4bb872c4adb2c897c76e74e0ececd78bc3","ref":"refs/heads/main","pushedAt":"2024-02-28T20:49:40.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"vbeffara","name":"Vincent Beffara","path":"/vbeffara","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/248972?s=80&v=4"},"commit":{"message":"Remove autoImplicit: done","shortMessageHtmlLink":"Remove autoImplicit: done"}},{"before":"30e7734ed65c497dd6b261ed174241ed1d56f077","after":"657db63124a1466e94afd0853ed46bacc29a808c","ref":"refs/heads/main","pushedAt":"2024-02-28T14:21:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vbeffara","name":"Vincent Beffara","path":"/vbeffara","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/248972?s=80&v=4"},"commit":{"message":"Tweak","shortMessageHtmlLink":"Tweak"}},{"before":"95f23febe7a97aff8f852b194ceeaec6acf92ea0","after":"30e7734ed65c497dd6b261ed174241ed1d56f077","ref":"refs/heads/main","pushedAt":"2024-02-28T14:15:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vbeffara","name":"Vincent Beffara","path":"/vbeffara","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/248972?s=80&v=4"},"commit":{"message":"Tweak","shortMessageHtmlLink":"Tweak"}},{"before":"f43fc9c2d2f01f729b281198c29fa76b3dca46ea","after":"95f23febe7a97aff8f852b194ceeaec6acf92ea0","ref":"refs/heads/main","pushedAt":"2024-02-28T13:55:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vbeffara","name":"Vincent Beffara","path":"/vbeffara","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/248972?s=80&v=4"},"commit":{"message":"Setup blueprint","shortMessageHtmlLink":"Setup blueprint"}},{"before":"1bc81beec660f46fcaf06e1fb63e767a5a4c04e0","after":"f43fc9c2d2f01f729b281198c29fa76b3dca46ea","ref":"refs/heads/main","pushedAt":"2024-02-13T16:24:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vbeffara","name":"Vincent Beffara","path":"/vbeffara","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/248972?s=80&v=4"},"commit":{"message":"Berk","shortMessageHtmlLink":"Berk"}},{"before":"e40328d54c590e4703f9d999c48b91291333c93c","after":"1bc81beec660f46fcaf06e1fb63e767a5a4c04e0","ref":"refs/heads/main","pushedAt":"2024-02-13T00:17:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vbeffara","name":"Vincent Beffara","path":"/vbeffara","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/248972?s=80&v=4"},"commit":{"message":"Yes","shortMessageHtmlLink":"Yes"}},{"before":"94b567b3f05ec62f44a2f80235f4e53fecdde167","after":"e40328d54c590e4703f9d999c48b91291333c93c","ref":"refs/heads/main","pushedAt":"2024-02-12T15:22:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vbeffara","name":"Vincent Beffara","path":"/vbeffara","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/248972?s=80&v=4"},"commit":{"message":"Bump mathlib","shortMessageHtmlLink":"Bump mathlib"}},{"before":"dde9fcb0e044fd637c91f9dd986d29f3bc399864","after":"94b567b3f05ec62f44a2f80235f4e53fecdde167","ref":"refs/heads/main","pushedAt":"2024-02-12T14:42:22.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"vbeffara","name":"Vincent Beffara","path":"/vbeffara","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/248972?s=80&v=4"},"commit":{"message":"Version in a domain","shortMessageHtmlLink":"Version in a domain"}},{"before":"7880989fc6219b09f64a6b393a651297c9c04bd8","after":"dde9fcb0e044fd637c91f9dd986d29f3bc399864","ref":"refs/heads/main","pushedAt":"2024-02-12T12:22:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vbeffara","name":"Vincent Beffara","path":"/vbeffara","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/248972?s=80&v=4"},"commit":{"message":"New approach is more promising","shortMessageHtmlLink":"New approach is more promising"}},{"before":"06cacff56e0339048c2981cb37d733204be6331e","after":"7880989fc6219b09f64a6b393a651297c9c04bd8","ref":"refs/heads/main","pushedAt":"2024-02-10T09:49:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vbeffara","name":"Vincent Beffara","path":"/vbeffara","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/248972?s=80&v=4"},"commit":{"message":"Not looking very good ...","shortMessageHtmlLink":"Not looking very good ..."}},{"before":"62389a3c86e16e71735be3a333732002f05d33e0","after":"06cacff56e0339048c2981cb37d733204be6331e","ref":"refs/heads/main","pushedAt":"2024-02-09T15:12:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vbeffara","name":"Vincent Beffara","path":"/vbeffara","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/248972?s=80&v=4"},"commit":{"message":"Setup is done","shortMessageHtmlLink":"Setup is done"}},{"before":"f19f644c8dc3d7840297969050cc308fd6cdf1cc","after":"62389a3c86e16e71735be3a333732002f05d33e0","ref":"refs/heads/main","pushedAt":"2024-02-09T13:21:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vbeffara","name":"Vincent Beffara","path":"/vbeffara","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/248972?s=80&v=4"},"commit":{"message":"Attempt towards square integrals","shortMessageHtmlLink":"Attempt towards square integrals"}},{"before":"cf2be3afa5d43486fc748933314f26a03983a781","after":"f19f644c8dc3d7840297969050cc308fd6cdf1cc","ref":"refs/heads/main","pushedAt":"2024-02-05T13:45:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vbeffara","name":"Vincent Beffara","path":"/vbeffara","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/248972?s=80&v=4"},"commit":{"message":"Bump mathlib","shortMessageHtmlLink":"Bump mathlib"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEGKu1tQA","startCursor":null,"endCursor":null}},"title":"Activity · vbeffara/RMT4"}