{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":612775950,"defaultBranch":"main","name":"Propositional-Resolution","ownerLogin":"plazajan","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-03-11T23:49:16.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/104230083?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1678623317.9225118","currentOid":""},"activityList":{"items":[{"before":"cc095dcfd0c7298fc6f0f4dbeb249bcf57920b4c","after":"febdeaa253ea9ee625fc9fd66d9e7fda45aca6f6","ref":"refs/heads/main","pushedAt":"2024-04-28T13:11:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"plazajan","name":"Jan Plaza","path":"/plazajan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/104230083?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"204e6f762714d7d26e81ee84f835f9eef8babe67","after":"cc095dcfd0c7298fc6f0f4dbeb249bcf57920b4c","ref":"refs/heads/main","pushedAt":"2023-03-18T19:08:47.637Z","pushType":"push","commitsCount":1,"pusher":{"login":"plazajan","name":"Jan Plaza","path":"/plazajan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/104230083?s=80&v=4"},"commit":{"message":"Update resolution0.pl","shortMessageHtmlLink":"Update resolution0.pl"}},{"before":"cc36f0c43eeda0ae8e42da25264eb67f70af51f1","after":"204e6f762714d7d26e81ee84f835f9eef8babe67","ref":"refs/heads/main","pushedAt":"2023-03-18T18:05:01.843Z","pushType":"push","commitsCount":1,"pusher":{"login":"plazajan","name":"Jan Plaza","path":"/plazajan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/104230083?s=80&v=4"},"commit":{"message":"Update resolution0.pl","shortMessageHtmlLink":"Update resolution0.pl"}},{"before":"030234bd4913cefacbaae08040cf6958b3418161","after":"cc36f0c43eeda0ae8e42da25264eb67f70af51f1","ref":"refs/heads/main","pushedAt":"2023-03-18T14:09:41.017Z","pushType":"push","commitsCount":1,"pusher":{"login":"plazajan","name":"Jan Plaza","path":"/plazajan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/104230083?s=80&v=4"},"commit":{"message":"Update resolution0.pl","shortMessageHtmlLink":"Update resolution0.pl"}},{"before":"ffba20e90707d862be3d28b2b2a0d82d54bbd2aa","after":"030234bd4913cefacbaae08040cf6958b3418161","ref":"refs/heads/main","pushedAt":"2023-03-18T14:06:11.811Z","pushType":"push","commitsCount":1,"pusher":{"login":"plazajan","name":"Jan Plaza","path":"/plazajan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/104230083?s=80&v=4"},"commit":{"message":"Update resolution0.pl","shortMessageHtmlLink":"Update resolution0.pl"}},{"before":"768563468aa1e177db22dd262af9c4e0c9f86382","after":"ffba20e90707d862be3d28b2b2a0d82d54bbd2aa","ref":"refs/heads/main","pushedAt":"2023-03-18T01:31:03.467Z","pushType":"push","commitsCount":1,"pusher":{"login":"plazajan","name":"Jan Plaza","path":"/plazajan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/104230083?s=80&v=4"},"commit":{"message":"Update resolution0.pl","shortMessageHtmlLink":"Update resolution0.pl"}},{"before":"e2e7536df69168a9018a85edd5ecb0eb42d27d67","after":"768563468aa1e177db22dd262af9c4e0c9f86382","ref":"refs/heads/main","pushedAt":"2023-03-18T01:26:36.818Z","pushType":"push","commitsCount":1,"pusher":{"login":"plazajan","name":"Jan Plaza","path":"/plazajan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/104230083?s=80&v=4"},"commit":{"message":"Create .DS_Store","shortMessageHtmlLink":"Create .DS_Store"}},{"before":"7b952a906517674073b5f3648386d48faaf39bb3","after":"e2e7536df69168a9018a85edd5ecb0eb42d27d67","ref":"refs/heads/main","pushedAt":"2023-03-12T14:43:48.617Z","pushType":"push","commitsCount":1,"pusher":{"login":"plazajan","name":"Jan Plaza","path":"/plazajan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/104230083?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"e838859170fc873f9a63cb84a02d29df48656015","after":"7b952a906517674073b5f3648386d48faaf39bb3","ref":"refs/heads/main","pushedAt":"2023-03-12T14:42:53.595Z","pushType":"push","commitsCount":1,"pusher":{"login":"plazajan","name":"Jan Plaza","path":"/plazajan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/104230083?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"c1934d6abdfd1e30fa2a7135a850d549f9e6c077","after":"e838859170fc873f9a63cb84a02d29df48656015","ref":"refs/heads/main","pushedAt":"2023-03-12T14:33:53.791Z","pushType":"push","commitsCount":1,"pusher":{"login":"plazajan","name":"Jan Plaza","path":"/plazajan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/104230083?s=80&v=4"},"commit":{"message":"Update resolution0.pl","shortMessageHtmlLink":"Update resolution0.pl"}},{"before":"492dfa1a41d59595d5fdaea9f3cce2da80e8090f","after":"c1934d6abdfd1e30fa2a7135a850d549f9e6c077","ref":"refs/heads/main","pushedAt":"2023-03-12T14:04:15.027Z","pushType":"push","commitsCount":1,"pusher":{"login":"plazajan","name":"Jan Plaza","path":"/plazajan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/104230083?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"142b138f2829d467d6dd54667ebef6511577a564","after":"492dfa1a41d59595d5fdaea9f3cce2da80e8090f","ref":"refs/heads/main","pushedAt":"2023-03-12T12:51:13.702Z","pushType":"push","commitsCount":1,"pusher":{"login":"plazajan","name":"Jan Plaza","path":"/plazajan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/104230083?s=80&v=4"},"commit":{"message":"Delete .gitattributes","shortMessageHtmlLink":"Delete .gitattributes"}},{"before":"dfffe5c3c048e293ddffd7b6753b1f0815f50f64","after":"142b138f2829d467d6dd54667ebef6511577a564","ref":"refs/heads/main","pushedAt":"2023-03-12T12:39:50.183Z","pushType":"push","commitsCount":1,"pusher":{"login":"plazajan","name":"Jan Plaza","path":"/plazajan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/104230083?s=80&v=4"},"commit":{"message":"Update resolution0.pl","shortMessageHtmlLink":"Update resolution0.pl"}},{"before":"7a0c25b704b8abe4e579bfd05e5b46f18f8cd42f","after":"dfffe5c3c048e293ddffd7b6753b1f0815f50f64","ref":"refs/heads/main","pushedAt":"2023-03-12T12:27:05.332Z","pushType":"push","commitsCount":1,"pusher":{"login":"plazajan","name":"Jan Plaza","path":"/plazajan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/104230083?s=80&v=4"},"commit":{"message":"Update resolution0.pl","shortMessageHtmlLink":"Update resolution0.pl"}},{"before":"c7a459d80035f270a9f21d5ffdc404a2ae5a7cb9","after":"7a0c25b704b8abe4e579bfd05e5b46f18f8cd42f","ref":"refs/heads/main","pushedAt":"2023-03-12T12:23:41.899Z","pushType":"push","commitsCount":1,"pusher":{"login":"plazajan","name":"Jan Plaza","path":"/plazajan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/104230083?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"ec0720b96fdc0a26a129b0a3866919d18f700071","after":"c7a459d80035f270a9f21d5ffdc404a2ae5a7cb9","ref":"refs/heads/main","pushedAt":"2023-03-12T12:23:06.523Z","pushType":"push","commitsCount":1,"pusher":{"login":"plazajan","name":"Jan Plaza","path":"/plazajan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/104230083?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"1f639788e7d48e673bcc96944401c9deb803b5be","after":"ec0720b96fdc0a26a129b0a3866919d18f700071","ref":"refs/heads/main","pushedAt":"2023-03-12T12:22:38.814Z","pushType":"push","commitsCount":1,"pusher":{"login":"plazajan","name":"Jan Plaza","path":"/plazajan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/104230083?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"a4ab0b3212e08accbcaa2c9a77867e11aa039d9f","after":"1f639788e7d48e673bcc96944401c9deb803b5be","ref":"refs/heads/main","pushedAt":"2023-03-12T12:20:23.151Z","pushType":"push","commitsCount":1,"pusher":{"login":"plazajan","name":"Jan Plaza","path":"/plazajan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/104230083?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"73a0a34b16b933727870b8453d00a8f7e5449f97","after":"a4ab0b3212e08accbcaa2c9a77867e11aa039d9f","ref":"refs/heads/main","pushedAt":"2023-03-12T12:17:12.679Z","pushType":"push","commitsCount":1,"pusher":{"login":"plazajan","name":"Jan Plaza","path":"/plazajan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/104230083?s=80&v=4"},"commit":{"message":"Delete LICENSE","shortMessageHtmlLink":"Delete LICENSE"}},{"before":"deabf9b9d43579f5bcd837560a15afefd56ad8f1","after":"73a0a34b16b933727870b8453d00a8f7e5449f97","ref":"refs/heads/main","pushedAt":"2023-03-12T12:15:32.319Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"plazajan","name":"Jan Plaza","path":"/plazajan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/104230083?s=80&v=4"},"commit":{"message":"Merge pull request #2 from plazajan/add-license-2\n\nCreate LICENSE.md","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1620343058\" data-permission-text=\"Title is private\" data-url=\"https://github.com/plazajan/Propositional-Resolution/issues/2\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/plazajan/Propositional-Resolution/pull/2/hovercard\" href=\"https://github.com/plazajan/Propositional-Resolution/pull/2\">#2</a> from plazajan/add-license-2"}},{"before":null,"after":"dcfb923c5ea282938a0689c1b21e6f654559182b","ref":"refs/heads/add-license-2","pushedAt":"2023-03-12T12:15:17.922Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"plazajan","name":"Jan Plaza","path":"/plazajan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/104230083?s=80&v=4"},"commit":{"message":"Create LICENSE.md","shortMessageHtmlLink":"Create LICENSE.md"}},{"before":"98d5d7e3a8acbf4bb6fb45c25316388eb4c70691","after":"deabf9b9d43579f5bcd837560a15afefd56ad8f1","ref":"refs/heads/main","pushedAt":"2023-03-12T12:12:49.352Z","pushType":"push","commitsCount":2,"pusher":{"login":"plazajan","name":"Jan Plaza","path":"/plazajan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/104230083?s=80&v=4"},"commit":{"message":"Merge branch 'main' of https://github.com/plazajan/Prolog-Propositional-Resolution","shortMessageHtmlLink":"Merge branch 'main' of <a href=\"https://github.com/plazajan/Prolog-Propositional-Resolution\">https://github.com/plazajan/Prolog-Proposition…</a>"}},{"before":"7635a7049fedf6b9b943acdc9b32c480b5a15495","after":"98d5d7e3a8acbf4bb6fb45c25316388eb4c70691","ref":"refs/heads/main","pushedAt":"2023-03-12T12:02:57.558Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"plazajan","name":"Jan Plaza","path":"/plazajan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/104230083?s=80&v=4"},"commit":{"message":"Merge pull request #1 from plazajan/add-license-1\n\nCreate LICENSE","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1620338848\" data-permission-text=\"Title is private\" data-url=\"https://github.com/plazajan/Propositional-Resolution/issues/1\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/plazajan/Propositional-Resolution/pull/1/hovercard\" href=\"https://github.com/plazajan/Propositional-Resolution/pull/1\">#1</a> from plazajan/add-license-1"}},{"before":null,"after":"f45f2ffaa8f0e1b345d40db89b8860d0c6c9963b","ref":"refs/heads/add-license-1","pushedAt":"2023-03-12T12:01:19.946Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"plazajan","name":"Jan Plaza","path":"/plazajan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/104230083?s=80&v=4"},"commit":{"message":"Create LICENSE","shortMessageHtmlLink":"Create LICENSE"}},{"before":"5180bf82ed2f650e62b6862531e7aab99dd799a0","after":"7635a7049fedf6b9b943acdc9b32c480b5a15495","ref":"refs/heads/main","pushedAt":"2023-03-12T11:57:07.542Z","pushType":"push","commitsCount":1,"pusher":{"login":"plazajan","name":"Jan Plaza","path":"/plazajan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/104230083?s=80&v=4"},"commit":{"message":"Update resolution0.pl","shortMessageHtmlLink":"Update resolution0.pl"}},{"before":"32c01a1a80f377a234e40679316cf396de1c95ae","after":"5180bf82ed2f650e62b6862531e7aab99dd799a0","ref":"refs/heads/main","pushedAt":"2023-03-12T03:43:05.428Z","pushType":"push","commitsCount":1,"pusher":{"login":"plazajan","name":"Jan Plaza","path":"/plazajan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/104230083?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"22979cb603288670855c62a24a30a980ff1c6a08","after":"32c01a1a80f377a234e40679316cf396de1c95ae","ref":"refs/heads/main","pushedAt":"2023-03-12T03:33:55.641Z","pushType":"push","commitsCount":1,"pusher":{"login":"plazajan","name":"Jan Plaza","path":"/plazajan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/104230083?s=80&v=4"},"commit":{"message":"Update resolution0.pl","shortMessageHtmlLink":"Update resolution0.pl"}},{"before":"eda2d7360709ad8fabb565473b39c7efe9afa4e9","after":"22979cb603288670855c62a24a30a980ff1c6a08","ref":"refs/heads/main","pushedAt":"2023-03-12T03:29:55.895Z","pushType":"push","commitsCount":1,"pusher":{"login":"plazajan","name":"Jan Plaza","path":"/plazajan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/104230083?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"b12a8ac98394decd381ba056af393003777822a0","after":"eda2d7360709ad8fabb565473b39c7efe9afa4e9","ref":"refs/heads/main","pushedAt":"2023-03-12T03:26:08.873Z","pushType":"push","commitsCount":1,"pusher":{"login":"plazajan","name":"Jan Plaza","path":"/plazajan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/104230083?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"f06739feec1673785e7d02854388db8dc9befe65","after":"b12a8ac98394decd381ba056af393003777822a0","ref":"refs/heads/main","pushedAt":"2023-03-12T03:23:33.421Z","pushType":"push","commitsCount":1,"pusher":{"login":"plazajan","name":"Jan Plaza","path":"/plazajan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/104230083?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEPETW9wA","startCursor":null,"endCursor":null}},"title":"Activity · plazajan/Propositional-Resolution"}