{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":132528683,"defaultBranch":"master","name":"lets-prove-leftpad","ownerLogin":"hwayne","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2018-05-07T23:48:37.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/2660212?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1582268172.0","currentOid":""},"activityList":{"items":[{"before":"273865ac93ab37f7eca02fe86bea04d1c9a72d09","after":"32e53d7114d57262d04ae5e46030249cd97e270e","ref":"refs/heads/master","pushedAt":"2024-02-05T23:10:05.000Z","pushType":"pr_merge","commitsCount":5,"pusher":{"login":"hwayne","name":"Hillel Wayne","path":"/hwayne","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2660212?s=80&v=4"},"commit":{"message":"Merge pull request #56 from gabriel-fallen/master\n\nLean 4 port","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2117130406\" data-permission-text=\"Title is private\" data-url=\"https://github.com/hwayne/lets-prove-leftpad/issues/56\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/hwayne/lets-prove-leftpad/pull/56/hovercard\" href=\"https://github.com/hwayne/lets-prove-leftpad/pull/56\">#56</a> from gabriel-fallen/master"}},{"before":"6a1457fd190b2b44db049176663dcbef514fd16a","after":"273865ac93ab37f7eca02fe86bea04d1c9a72d09","ref":"refs/heads/master","pushedAt":"2024-01-05T01:15:25.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"hwayne","name":"Hillel Wayne","path":"/hwayne","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2660212?s=80&v=4"},"commit":{"message":"Merge pull request #55 from vthriller/master\n\ntrivial typo fixes","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2023586501\" data-permission-text=\"Title is private\" data-url=\"https://github.com/hwayne/lets-prove-leftpad/issues/55\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/hwayne/lets-prove-leftpad/pull/55/hovercard\" href=\"https://github.com/hwayne/lets-prove-leftpad/pull/55\">#55</a> from vthriller/master"}},{"before":"97ab8fd0a83b794fa25e9b6805476f4664adc296","after":"6a1457fd190b2b44db049176663dcbef514fd16a","ref":"refs/heads/master","pushedAt":"2023-08-17T22:00:55.000Z","pushType":"pr_merge","commitsCount":9,"pusher":{"login":"hwayne","name":"Hillel Wayne","path":"/hwayne","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2660212?s=80&v=4"},"commit":{"message":"Merge pull request #53 from tirix/metamath\n\nAdd Metamath","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1853138242\" data-permission-text=\"Title is private\" data-url=\"https://github.com/hwayne/lets-prove-leftpad/issues/53\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/hwayne/lets-prove-leftpad/pull/53/hovercard\" href=\"https://github.com/hwayne/lets-prove-leftpad/pull/53\">#53</a> from tirix/metamath"}},{"before":"7ea9d45e0bf79bf3acb92e4c0fc1aaaa9a32efb9","after":"97ab8fd0a83b794fa25e9b6805476f4664adc296","ref":"refs/heads/master","pushedAt":"2023-08-16T19:58:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hwayne","name":"Hillel Wayne","path":"/hwayne","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2660212?s=80&v=4"},"commit":{"message":"Add a \"learn more\" link to readme, fixes #45","shortMessageHtmlLink":"Add a \"learn more\" link to readme, <span class=\"issue-keyword tooltipped tooltipped-se\" aria-label=\"This commit closes issue #45.\">fixes</span> <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1307137040\" data-permission-text=\"Title is private\" data-url=\"https://github.com/hwayne/lets-prove-leftpad/issues/45\" data-hovercard-type=\"issue\" data-hovercard-url=\"/hwayne/lets-prove-leftpad/issues/45/hovercard\" href=\"https://github.com/hwayne/lets-prove-leftpad/issues/45\">#45</a>"}},{"before":"8d79d670cd946dc5eec5344bf55d3bb12e677349","after":"7ea9d45e0bf79bf3acb92e4c0fc1aaaa9a32efb9","ref":"refs/heads/master","pushedAt":"2023-08-16T19:55:39.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"hwayne","name":"Hillel Wayne","path":"/hwayne","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2660212?s=80&v=4"},"commit":{"message":"Merge pull request #51 from alperaltuntas/add_z3py_version\n\nAdd z3py version","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1557147257\" data-permission-text=\"Title is private\" data-url=\"https://github.com/hwayne/lets-prove-leftpad/issues/51\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/hwayne/lets-prove-leftpad/pull/51/hovercard\" href=\"https://github.com/hwayne/lets-prove-leftpad/pull/51\">#51</a> from alperaltuntas/add_z3py_version"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAD8slyZAA","startCursor":null,"endCursor":null}},"title":"Activity · hwayne/lets-prove-leftpad"}