{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":508670358,"defaultBranch":"master","name":"portal","ownerLogin":"oggy-dfin","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2022-06-29T11:51:23.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/89794951?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1707931282.0","currentOid":""},"activityList":{"items":[{"before":"ca680e6cb1ed042c1b899d293677c80a850aa374","after":"e1a0e2814c306fc1bc3efa324fd82759e2f00af5","ref":"refs/heads/formal-verification","pushedAt":"2024-02-23T10:55:54.000Z","pushType":"push","commitsCount":174,"pusher":{"login":"oggy-dfin","name":null,"path":"/oggy-dfin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/89794951?s=80&v=4"},"commit":{"message":"Add the sidebar lost in the master merge","shortMessageHtmlLink":"Add the sidebar lost in the master merge"}},{"before":"a799f78ec451409d87f9545e7446d5d94bfe9376","after":"ca680e6cb1ed042c1b899d293677c80a850aa374","ref":"refs/heads/formal-verification","pushedAt":"2024-02-23T10:10:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"oggy-dfin","name":null,"path":"/oggy-dfin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/89794951?s=80&v=4"},"commit":{"message":"Fix sentence","shortMessageHtmlLink":"Fix sentence"}},{"before":"78fdf2df567cd08c220d31b4c5e0823dfed0d090","after":"a799f78ec451409d87f9545e7446d5d94bfe9376","ref":"refs/heads/formal-verification","pushedAt":"2024-02-22T13:14:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"oggy-dfin","name":null,"path":"/oggy-dfin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/89794951?s=80&v=4"},"commit":{"message":"Address Andy's comments","shortMessageHtmlLink":"Address Andy's comments"}},{"before":"4a666af5269f596bc068dbd00fa3985fa7ede24a","after":"78fdf2df567cd08c220d31b4c5e0823dfed0d090","ref":"refs/heads/formal-verification","pushedAt":"2024-02-22T13:13:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"oggy-dfin","name":null,"path":"/oggy-dfin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/89794951?s=80&v=4"},"commit":{"message":"Update docs/developer-docs/security/formal-verification.md\n\nCo-authored-by: Andrew Lee <18198450+andrew-lee-work@users.noreply.github.com>","shortMessageHtmlLink":"Update docs/developer-docs/security/formal-verification.md"}},{"before":"688cabfa1bc77d7d7d58abe6bb757c8c67c6501b","after":"4a666af5269f596bc068dbd00fa3985fa7ede24a","ref":"refs/heads/formal-verification","pushedAt":"2024-02-15T13:44:35.000Z","pushType":"push","commitsCount":50,"pusher":{"login":"oggy-dfin","name":null,"path":"/oggy-dfin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/89794951?s=80&v=4"},"commit":{"message":"Merge branch 'master' into formal-verification","shortMessageHtmlLink":"Merge branch 'master' into formal-verification"}},{"before":"12e317dc4024cb875eb85bbc9c9df0a22d5010d5","after":"688cabfa1bc77d7d7d58abe6bb757c8c67c6501b","ref":"refs/heads/formal-verification","pushedAt":"2024-02-15T13:37:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"oggy-dfin","name":null,"path":"/oggy-dfin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/89794951?s=80&v=4"},"commit":{"message":"More review suggestions.","shortMessageHtmlLink":"More review suggestions."}},{"before":"24e606534e29ab733842c5d70cf43a6246a8f007","after":"12e317dc4024cb875eb85bbc9c9df0a22d5010d5","ref":"refs/heads/formal-verification","pushedAt":"2024-02-15T13:20:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"oggy-dfin","name":null,"path":"/oggy-dfin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/89794951?s=80&v=4"},"commit":{"message":"Apply suggestions from code review\n\nCo-authored-by: Jessie Mongeon <133128541+jessiemongeon1@users.noreply.github.com>","shortMessageHtmlLink":"Apply suggestions from code review"}},{"before":null,"after":"24e606534e29ab733842c5d70cf43a6246a8f007","ref":"refs/heads/formal-verification","pushedAt":"2024-02-14T17:21:22.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"oggy-dfin","name":null,"path":"/oggy-dfin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/89794951?s=80&v=4"},"commit":{"message":"Add some docs on formal verification","shortMessageHtmlLink":"Add some docs on formal verification"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEAvlTxQA","startCursor":null,"endCursor":null}},"title":"Activity · oggy-dfin/portal"}