{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":638136029,"defaultBranch":"main","name":"logic","ownerLogin":"praisetompane","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-05-09T06:51:00.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/12962861?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1705220586.0","currentOid":""},"activityList":{"items":[{"before":"7c80e4e2f916cfedd22a2e39ca4f420761a4dfc7","after":"61ed1b37d5d3ab039c6e022d1df9005f8b80a32d","ref":"refs/heads/main","pushedAt":"2024-08-12T21:17:09.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"praisetompane","name":"Praise Tompane","path":"/praisetompane","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12962861?s=80&v=4"},"commit":{"message":"Merge pull request #2 from praisetompane/docs(logic_definition)\n\ndocs(logic_definition)","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2080631511\" data-permission-text=\"Title is private\" data-url=\"https://github.com/praisetompane/logic/issues/2\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/praisetompane/logic/pull/2/hovercard\" href=\"https://github.com/praisetompane/logic/pull/2\">#2</a> from praisetompane/docs(logic_definition)"}},{"before":"60cbda76a47185677f53be49f2808b45d3051d93","after":null,"ref":"refs/heads/docs(logic_definition)","pushedAt":"2024-01-14T08:23:06.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"praisetompane","name":"Praise Tompane","path":"/praisetompane","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12962861?s=80&v=4"}},{"before":"430e9da0aacb0ec66aeb98a935678c4a84519e39","after":"7c80e4e2f916cfedd22a2e39ca4f420761a4dfc7","ref":"refs/heads/main","pushedAt":"2024-01-14T08:23:03.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"praisetompane","name":"Praise Tompane","path":"/praisetompane","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12962861?s=80&v=4"},"commit":{"message":"Merge pull request #2 from praisetompane/docs(logic_definition)\n\ndocs(logic_definition)","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2080631511\" data-permission-text=\"Title is private\" data-url=\"https://github.com/praisetompane/logic/issues/2\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/praisetompane/logic/pull/2/hovercard\" href=\"https://github.com/praisetompane/logic/pull/2\">#2</a> from praisetompane/docs(logic_definition)"}},{"before":"cd8832d70ccb3e57901c9a045916bfe82883ce66","after":"60cbda76a47185677f53be49f2808b45d3051d93","ref":"refs/heads/docs(logic_definition)","pushedAt":"2024-01-14T08:22:55.000Z","pushType":"push","commitsCount":6,"pusher":{"login":"praisetompane","name":"Praise Tompane","path":"/praisetompane","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12962861?s=80&v=4"},"commit":{"message":"Merge branch 'main' into docs(logic_definition)","shortMessageHtmlLink":"Merge branch 'main' into docs(logic_definition)"}},{"before":null,"after":"cd8832d70ccb3e57901c9a045916bfe82883ce66","ref":"refs/heads/docs(logic_definition)","pushedAt":"2024-01-14T08:21:24.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"praisetompane","name":"Praise Tompane","path":"/praisetompane","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12962861?s=80&v=4"},"commit":{"message":"docs(logic_definition)\n\nadd logic hierachy starting at the top with the most basic","shortMessageHtmlLink":"docs(logic_definition)"}},{"before":"cca0a737eee39da54d5af02225cba0b02067b98c","after":null,"ref":"refs/heads/docs(logic_definition)","pushedAt":"2024-01-14T08:20:41.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"praisetompane","name":"Praise Tompane","path":"/praisetompane","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12962861?s=80&v=4"}},{"before":"cb94093a2ca48b7707198e0a078d0710c3bc7e7a","after":"430e9da0aacb0ec66aeb98a935678c4a84519e39","ref":"refs/heads/main","pushedAt":"2024-01-14T08:20:39.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"praisetompane","name":"Praise Tompane","path":"/praisetompane","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12962861?s=80&v=4"},"commit":{"message":"Merge pull request #1 from praisetompane/docs(logic_definition)\n\ndocs(logic_definition)","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2080630791\" data-permission-text=\"Title is private\" data-url=\"https://github.com/praisetompane/logic/issues/1\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/praisetompane/logic/pull/1/hovercard\" href=\"https://github.com/praisetompane/logic/pull/1\">#1</a> from praisetompane/docs(logic_definition)"}},{"before":"dd0f55246082d789ed1fbd8c80a12cde1674c5cf","after":"cca0a737eee39da54d5af02225cba0b02067b98c","ref":"refs/heads/docs(logic_definition)","pushedAt":"2024-01-14T08:20:31.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"praisetompane","name":"Praise Tompane","path":"/praisetompane","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12962861?s=80&v=4"},"commit":{"message":"Merge branch 'main' into docs(logic_definition)","shortMessageHtmlLink":"Merge branch 'main' into docs(logic_definition)"}},{"before":"cb94093a2ca48b7707198e0a078d0710c3bc7e7a","after":null,"ref":"refs/heads/master","pushedAt":"2024-01-14T07:39:53.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"praisetompane","name":"Praise Tompane","path":"/praisetompane","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12962861?s=80&v=4"}},{"before":null,"after":"cb94093a2ca48b7707198e0a078d0710c3bc7e7a","ref":"refs/heads/main","pushedAt":"2024-01-14T07:39:52.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"praisetompane","name":"Praise Tompane","path":"/praisetompane","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12962861?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"b9f52c17bf92b5f06511432f9f4e0e9351e67aec","after":"dd0f55246082d789ed1fbd8c80a12cde1674c5cf","ref":"refs/heads/docs(logic_definition)","pushedAt":"2023-10-29T06:49:52.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"praisetompane","name":"Praise Tompane","path":"/praisetompane","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12962861?s=80&v=4"},"commit":{"message":"docs(logic_definition)\n\nadd logic hierachy starting at the top with the most basic","shortMessageHtmlLink":"docs(logic_definition)"}},{"before":"cea03fa46d04e20e50e33f986ba78675ec4b4f26","after":"b9f52c17bf92b5f06511432f9f4e0e9351e67aec","ref":"refs/heads/docs(logic_definition)","pushedAt":"2023-08-16T21:59:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"praisetompane","name":"Praise Tompane","path":"/praisetompane","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12962861?s=80&v=4"},"commit":{"message":"docs(logic_definition)\n\nadd logic hierachy starting at the top with the most basic","shortMessageHtmlLink":"docs(logic_definition)"}},{"before":null,"after":"cea03fa46d04e20e50e33f986ba78675ec4b4f26","ref":"refs/heads/docs(logic_definition)","pushedAt":"2023-08-16T21:59:37.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"praisetompane","name":"Praise Tompane","path":"/praisetompane","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12962861?s=80&v=4"},"commit":{"message":"docs(0_general_logic):\n\nmove logical connectives to 5_logic","shortMessageHtmlLink":"docs(0_general_logic):"}},{"before":"1a71f167250627d611faeee4d54e6209d1fa1cf8","after":"cb94093a2ca48b7707198e0a078d0710c3bc7e7a","ref":"refs/heads/master","pushedAt":"2023-07-30T01:37:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"praisetompane","name":"Praise Tompane","path":"/praisetompane","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12962861?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"cea03fa46d04e20e50e33f986ba78675ec4b4f26","after":"1a71f167250627d611faeee4d54e6209d1fa1cf8","ref":"refs/heads/master","pushedAt":"2023-07-30T01:36:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"praisetompane","name":"Praise Tompane","path":"/praisetompane","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12962861?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"e1c9bd87774261aa545e757567a56e2ac46ff73e","after":"cea03fa46d04e20e50e33f986ba78675ec4b4f26","ref":"refs/heads/master","pushedAt":"2023-06-30T03:34:04.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"praisetompane","name":"Praise Tompane","path":"/praisetompane","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12962861?s=80&v=4"},"commit":{"message":"docs(0_general_logic):\n\nmove logical connectives to 5_logic","shortMessageHtmlLink":"docs(0_general_logic):"}},{"before":"f1bb5b7d34482d2711429b23cbfcb75b1e8466ec","after":"e1c9bd87774261aa545e757567a56e2ac46ff73e","ref":"refs/heads/master","pushedAt":"2023-06-30T03:33:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"praisetompane","name":"Praise Tompane","path":"/praisetompane","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12962861?s=80&v=4"},"commit":{"message":"docs(0_general_logic):\n\nmove logical connectives to 5_logic","shortMessageHtmlLink":"docs(0_general_logic):"}},{"before":"43c47da826cc9d2fd4394113b252da826fcc259a","after":"f1bb5b7d34482d2711429b23cbfcb75b1e8466ec","ref":"refs/heads/master","pushedAt":"2023-06-29T20:45:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"praisetompane","name":"Praise Tompane","path":"/praisetompane","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12962861?s=80&v=4"},"commit":{"message":"docs(proofs):\n\norigin of implication definition","shortMessageHtmlLink":"docs(proofs):"}},{"before":"7c2fdc49f9dfebd6a60b1de3420dc90f4176b809","after":"43c47da826cc9d2fd4394113b252da826fcc259a","ref":"refs/heads/master","pushedAt":"2023-05-09T20:40:45.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"praisetompane","name":"Praise Tompane","path":"/praisetompane","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12962861?s=80&v=4"},"commit":{"message":"initial commit: moved from Mathematics, as I now know this is a independent Formal Science","shortMessageHtmlLink":"initial commit: moved from Mathematics, as I now know this is a indep…"}},{"before":"4de0ca2159711873e00e3c6eea7612995f17691c","after":"7c2fdc49f9dfebd6a60b1de3420dc90f4176b809","ref":"refs/heads/master","pushedAt":"2023-05-09T20:21:44.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"praisetompane","name":"Praise Tompane","path":"/praisetompane","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12962861?s=80&v=4"},"commit":{"message":"initial commit: moved from Mathematics, as I now know this is a independent Formal Science","shortMessageHtmlLink":"initial commit: moved from Mathematics, as I now know this is a indep…"}},{"before":"92429ce42afa43b531f4f72fe75211392f280834","after":"4de0ca2159711873e00e3c6eea7612995f17691c","ref":"refs/heads/master","pushedAt":"2023-05-09T20:20:26.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"praisetompane","name":"Praise Tompane","path":"/praisetompane","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12962861?s=80&v=4"},"commit":{"message":"initial commit: moved from Mathematics, as I now know this is a independent Formal Science","shortMessageHtmlLink":"initial commit: moved from Mathematics, as I now know this is a indep…"}},{"before":"17d106f63f76a014aa2a49d672f71019c018fc71","after":"92429ce42afa43b531f4f72fe75211392f280834","ref":"refs/heads/master","pushedAt":"2023-05-09T06:58:54.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"praisetompane","name":"Praise Tompane","path":"/praisetompane","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12962861?s=80&v=4"},"commit":{"message":"initial commit: moved from Mathematics, as I now know this is a independent Formal Science","shortMessageHtmlLink":"initial commit: moved from Mathematics, as I now know this is a indep…"}},{"before":"f12085906fe91742d8b6d277281da8f8c75f4c26","after":"17d106f63f76a014aa2a49d672f71019c018fc71","ref":"refs/heads/master","pushedAt":"2023-05-09T06:54:02.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"praisetompane","name":"Praise Tompane","path":"/praisetompane","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12962861?s=80&v=4"},"commit":{"message":"initial commit: moved from Mathematics, as I now know this is a independent Formal Science","shortMessageHtmlLink":"initial commit: moved from Mathematics, as I now know this is a indep…"}},{"before":null,"after":"f12085906fe91742d8b6d277281da8f8c75f4c26","ref":"refs/heads/master","pushedAt":"2023-05-09T06:51:01.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"praisetompane","name":"Praise Tompane","path":"/praisetompane","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12962861?s=80&v=4"},"commit":{"message":"Initial commit","shortMessageHtmlLink":"Initial commit"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOC0xMlQyMToxNzowOS4wMDAwMDBazwAAAASYjBTo","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOC0xMlQyMToxNzowOS4wMDAwMDBazwAAAASYjBTo","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0wNS0wOVQwNjo1MTowMS4wMDAwMDBazwAAAAMo0ezF"}},"title":"Activity · praisetompane/logic"}