{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":694884708,"defaultBranch":"main","name":"user-manual","ownerLogin":"argumentcomputer","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-09-21T22:39:07.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/104174991?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1726864863.0","currentOid":""},"activityList":{"items":[{"before":"bcdb9af049446106e5742dc15423d2c24daebbba","after":null,"ref":"refs/heads/ap/fail","pushedAt":"2024-09-20T20:41:03.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"arthurpaulino","name":"Arthur Paulino","path":"/arthurpaulino","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1919110?s=80&v=4"}},{"before":"d77a2e18ffef01eacfda5f592644da4dcb2c03f2","after":"c39af5549161b9693ac2aec37d92c4a1d345e415","ref":"refs/heads/main","pushedAt":"2024-09-20T20:40:57.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"arthurpaulino","name":"Arthur Paulino","path":"/arthurpaulino","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1919110?s=80&v=4"},"commit":{"message":"Merge pull request #22 from argumentcomputer/ap/fail\n\nfeat: fail built-in","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2539642134\" data-permission-text=\"Title is private\" data-url=\"https://github.com/argumentcomputer/user-manual/issues/22\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/argumentcomputer/user-manual/pull/22/hovercard\" href=\"https://github.com/argumentcomputer/user-manual/pull/22\">#22</a> from argumentcomputer/ap/fail"}},{"before":null,"after":"bcdb9af049446106e5742dc15423d2c24daebbba","ref":"refs/heads/ap/fail","pushedAt":"2024-09-20T20:39:32.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"arthurpaulino","name":"Arthur Paulino","path":"/arthurpaulino","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1919110?s=80&v=4"},"commit":{"message":"feat: fail built-in","shortMessageHtmlLink":"feat: fail built-in"}},{"before":"bbc6aed4ba31fdd9d8dd6d93e7a2875ddfcb7f9e","after":null,"ref":"refs/heads/ap/update","pushedAt":"2024-09-12T12:40:38.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"wwared","name":"wwared","path":"/wwared","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/541936?s=80&v=4"}},{"before":"59960a7ff7f6924ff141743b43dc725306658ac4","after":"d77a2e18ffef01eacfda5f592644da4dcb2c03f2","ref":"refs/heads/main","pushedAt":"2024-09-12T12:40:32.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"wwared","name":"wwared","path":"/wwared","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/541936?s=80&v=4"},"commit":{"message":"update to latest Lurk (#21)","shortMessageHtmlLink":"update to latest Lurk (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2517880793\" data-permission-text=\"Title is private\" data-url=\"https://github.com/argumentcomputer/user-manual/issues/21\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/argumentcomputer/user-manual/pull/21/hovercard\" href=\"https://github.com/argumentcomputer/user-manual/pull/21\">#21</a>)"}},{"before":null,"after":"bbc6aed4ba31fdd9d8dd6d93e7a2875ddfcb7f9e","ref":"refs/heads/ap/update","pushedAt":"2024-09-10T21:26:15.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"arthurpaulino","name":"Arthur Paulino","path":"/arthurpaulino","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1919110?s=80&v=4"},"commit":{"message":"update to latest Lurk","shortMessageHtmlLink":"update to latest Lurk"}},{"before":"bc0bbd4d6255f3a3e2fe2658f8fd37410185441f","after":null,"ref":"refs/heads/ap/update-repl-chapter","pushedAt":"2024-09-06T17:02:05.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"arthurpaulino","name":"Arthur Paulino","path":"/arthurpaulino","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1919110?s=80&v=4"}},{"before":"b84dd620094031ae626cc8192958331a37dfc475","after":"59960a7ff7f6924ff141743b43dc725306658ac4","ref":"refs/heads/main","pushedAt":"2024-09-06T17:02:00.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"arthurpaulino","name":"Arthur Paulino","path":"/arthurpaulino","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1919110?s=80&v=4"},"commit":{"message":"Merge pull request #20 from argumentcomputer/ap/update-repl-chapter\n\nfeat: inspect protocol proof","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2510846730\" data-permission-text=\"Title is private\" data-url=\"https://github.com/argumentcomputer/user-manual/issues/20\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/argumentcomputer/user-manual/pull/20/hovercard\" href=\"https://github.com/argumentcomputer/user-manual/pull/20\">#20</a> from argumentcomputer/ap/update-repl-chapter"}},{"before":null,"after":"bc0bbd4d6255f3a3e2fe2658f8fd37410185441f","ref":"refs/heads/ap/update-repl-chapter","pushedAt":"2024-09-06T16:55:25.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"arthurpaulino","name":"Arthur Paulino","path":"/arthurpaulino","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1919110?s=80&v=4"},"commit":{"message":"feat: inspect protocol proof\n\nNow that the REPL prints proof keys for protocol proofs, we can show\nthe result of inspection for a protocol proof.\n\nExtra: use the new `list` built-in to simplify the protocol definition.","shortMessageHtmlLink":"feat: inspect protocol proof"}},{"before":"5c18ec1a6b07af18b8e6adb3eea87649b9860e63","after":null,"ref":"refs/heads/ap/update","pushedAt":"2024-09-06T14:08:58.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"wwared","name":"wwared","path":"/wwared","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/541936?s=80&v=4"}},{"before":"dd0ae97be110f7453448280e3da6348a436bde9e","after":"b84dd620094031ae626cc8192958331a37dfc475","ref":"refs/heads/main","pushedAt":"2024-09-06T14:08:55.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"wwared","name":"wwared","path":"/wwared","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/541936?s=80&v=4"},"commit":{"message":"feat: `list` built-in (#19)\n\nExtra: expand a bit on `begin` and update its cycle counts","shortMessageHtmlLink":"feat: <code>list</code> built-in (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2510518996\" data-permission-text=\"Title is private\" data-url=\"https://github.com/argumentcomputer/user-manual/issues/19\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/argumentcomputer/user-manual/pull/19/hovercard\" href=\"https://github.com/argumentcomputer/user-manual/pull/19\">#19</a>)"}},{"before":null,"after":"5c18ec1a6b07af18b8e6adb3eea87649b9860e63","ref":"refs/heads/ap/update","pushedAt":"2024-09-06T14:03:54.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"arthurpaulino","name":"Arthur Paulino","path":"/arthurpaulino","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1919110?s=80&v=4"},"commit":{"message":"feat: `list` built-in\n\nExtra: expand a bit on `begin` and update its cycle counts","shortMessageHtmlLink":"feat: <code>list</code> built-in"}},{"before":"d9ea073bb2410bbe0bffaa317d3405da0bca5413","after":null,"ref":"refs/heads/ap/update-comms","pushedAt":"2024-09-05T13:15:16.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"arthurpaulino","name":"Arthur Paulino","path":"/arthurpaulino","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1919110?s=80&v=4"}},{"before":"332224430b1f50ff83eda0e2e5674c51c4ff20b1","after":"dd0ae97be110f7453448280e3da6348a436bde9e","ref":"refs/heads/main","pushedAt":"2024-09-05T13:15:12.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"arthurpaulino","name":"Arthur Paulino","path":"/arthurpaulino","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1919110?s=80&v=4"},"commit":{"message":"Merge pull request #18 from argumentcomputer/ap/update-comms\n\nchore: update comm syntax","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2507779058\" data-permission-text=\"Title is private\" data-url=\"https://github.com/argumentcomputer/user-manual/issues/18\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/argumentcomputer/user-manual/pull/18/hovercard\" href=\"https://github.com/argumentcomputer/user-manual/pull/18\">#18</a> from argumentcomputer/ap/update-comms"}},{"before":null,"after":"d9ea073bb2410bbe0bffaa317d3405da0bca5413","ref":"refs/heads/ap/update-comms","pushedAt":"2024-09-05T13:13:42.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"arthurpaulino","name":"Arthur Paulino","path":"/arthurpaulino","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1919110?s=80&v=4"},"commit":{"message":"chore: update comm syntax","shortMessageHtmlLink":"chore: update comm syntax"}},{"before":"7d984366e651c0ea4ece0b8d22dce0945f4b6ea9","after":null,"ref":"refs/heads/ap/recommended-tools","pushedAt":"2024-09-04T18:50:31.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"arthurpaulino","name":"Arthur Paulino","path":"/arthurpaulino","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1919110?s=80&v=4"}},{"before":"11019858cffaa75d05a3b83eb405600ad981d1cb","after":"332224430b1f50ff83eda0e2e5674c51c4ff20b1","ref":"refs/heads/main","pushedAt":"2024-09-04T18:50:26.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"arthurpaulino","name":"Arthur Paulino","path":"/arthurpaulino","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1919110?s=80&v=4"},"commit":{"message":"Merge pull request #17 from argumentcomputer/ap/recommended-tools\n\nfeat: recommended tooling","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2506050751\" data-permission-text=\"Title is private\" data-url=\"https://github.com/argumentcomputer/user-manual/issues/17\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/argumentcomputer/user-manual/pull/17/hovercard\" href=\"https://github.com/argumentcomputer/user-manual/pull/17\">#17</a> from argumentcomputer/ap/recommended-tools"}},{"before":null,"after":"7d984366e651c0ea4ece0b8d22dce0945f4b6ea9","ref":"refs/heads/ap/recommended-tools","pushedAt":"2024-09-04T18:45:08.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"arthurpaulino","name":"Arthur Paulino","path":"/arthurpaulino","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1919110?s=80&v=4"},"commit":{"message":"feat: recommended tooling","shortMessageHtmlLink":"feat: recommended tooling"}},{"before":"91cc43f6d54c836274654c4b7fed44a8bfcf12f7","after":null,"ref":"refs/heads/ap/sharing-proofs","pushedAt":"2024-09-04T14:29:03.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"arthurpaulino","name":"Arthur Paulino","path":"/arthurpaulino","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1919110?s=80&v=4"}},{"before":"06230c05edc8728b9aa0b00eeeedfc1c2ae3ecaf","after":"11019858cffaa75d05a3b83eb405600ad981d1cb","ref":"refs/heads/main","pushedAt":"2024-09-04T14:28:59.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"arthurpaulino","name":"Arthur Paulino","path":"/arthurpaulino","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1919110?s=80&v=4"},"commit":{"message":"Merge pull request #16 from argumentcomputer/ap/sharing-proofs\n\nfeat: instructions for sharing proofs","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2505507560\" data-permission-text=\"Title is private\" data-url=\"https://github.com/argumentcomputer/user-manual/issues/16\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/argumentcomputer/user-manual/pull/16/hovercard\" href=\"https://github.com/argumentcomputer/user-manual/pull/16\">#16</a> from argumentcomputer/ap/sharing-proofs"}},{"before":"9b07d0e21be79ef22618327c43bee49f0cff03b0","after":"91cc43f6d54c836274654c4b7fed44a8bfcf12f7","ref":"refs/heads/ap/sharing-proofs","pushedAt":"2024-09-04T14:28:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"arthurpaulino","name":"Arthur Paulino","path":"/arthurpaulino","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1919110?s=80&v=4"},"commit":{"message":"slight change","shortMessageHtmlLink":"slight change"}},{"before":"db02eeae39a715593de5b7f6118329f440e4d637","after":"9b07d0e21be79ef22618327c43bee49f0cff03b0","ref":"refs/heads/ap/sharing-proofs","pushedAt":"2024-09-04T14:24:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"arthurpaulino","name":"Arthur Paulino","path":"/arthurpaulino","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1919110?s=80&v=4"},"commit":{"message":"Update src/08-repl.md\n\nCo-authored-by: wwared <wwared@users.noreply.github.com>","shortMessageHtmlLink":"Update src/08-repl.md"}},{"before":null,"after":"db02eeae39a715593de5b7f6118329f440e4d637","ref":"refs/heads/ap/sharing-proofs","pushedAt":"2024-09-04T14:15:12.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"arthurpaulino","name":"Arthur Paulino","path":"/arthurpaulino","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1919110?s=80&v=4"},"commit":{"message":"feat: instructions for sharing proofs","shortMessageHtmlLink":"feat: instructions for sharing proofs"}},{"before":"02de9d53a5fb609b824d1d24420ca6d79b9f094f","after":null,"ref":"refs/heads/lurk-logo","pushedAt":"2024-09-03T20:39:17.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"samuelburnham","name":"Samuel Burnham","path":"/samuelburnham","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/45365069?s=80&v=4"}},{"before":"93cca2977b744bc33c26abe432be487180d665a6","after":"06230c05edc8728b9aa0b00eeeedfc1c2ae3ecaf","ref":"refs/heads/main","pushedAt":"2024-09-03T20:39:13.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"samuelburnham","name":"Samuel Burnham","path":"/samuelburnham","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/45365069?s=80&v=4"},"commit":{"message":"Add Lurk logo (#15)","shortMessageHtmlLink":"Add Lurk logo (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2503737121\" data-permission-text=\"Title is private\" data-url=\"https://github.com/argumentcomputer/user-manual/issues/15\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/argumentcomputer/user-manual/pull/15/hovercard\" href=\"https://github.com/argumentcomputer/user-manual/pull/15\">#15</a>)"}},{"before":"891ca11b6145e3c64a4f724bf2dbfff305f775f6","after":"02de9d53a5fb609b824d1d24420ca6d79b9f094f","ref":"refs/heads/lurk-logo","pushedAt":"2024-09-03T20:34:42.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"samuelburnham","name":"Samuel Burnham","path":"/samuelburnham","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/45365069?s=80&v=4"},"commit":{"message":"Add Lurk logo","shortMessageHtmlLink":"Add Lurk logo"}},{"before":null,"after":"891ca11b6145e3c64a4f724bf2dbfff305f775f6","ref":"refs/heads/lurk-logo","pushedAt":"2024-09-03T20:23:41.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"samuelburnham","name":"Samuel Burnham","path":"/samuelburnham","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/45365069?s=80&v=4"},"commit":{"message":"Add Lurk logo","shortMessageHtmlLink":"Add Lurk logo"}},{"before":"e904c18d4842c9a83b3fc3b5941661a2f68b3d3c","after":null,"ref":"refs/heads/ci-deploy","pushedAt":"2024-09-03T18:52:36.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"samuelburnham","name":"Samuel Burnham","path":"/samuelburnham","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/45365069?s=80&v=4"}},{"before":"9d3025b64f39943b538faae6a621d47b37b0fd7b","after":"93cca2977b744bc33c26abe432be487180d665a6","ref":"refs/heads/main","pushedAt":"2024-09-03T18:52:32.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"samuelburnham","name":"Samuel Burnham","path":"/samuelburnham","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/45365069?s=80&v=4"},"commit":{"message":"ci: Refactor deployment (#14)","shortMessageHtmlLink":"ci: Refactor deployment (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2503477537\" data-permission-text=\"Title is private\" data-url=\"https://github.com/argumentcomputer/user-manual/issues/14\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/argumentcomputer/user-manual/pull/14/hovercard\" href=\"https://github.com/argumentcomputer/user-manual/pull/14\">#14</a>)"}},{"before":"545fbd34ec7a88643e8a76def8b2a0d0b85e7b18","after":"e904c18d4842c9a83b3fc3b5941661a2f68b3d3c","ref":"refs/heads/ci-deploy","pushedAt":"2024-09-03T18:48:37.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"samuelburnham","name":"Samuel Burnham","path":"/samuelburnham","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/45365069?s=80&v=4"},"commit":{"message":"ci: Refactor deployment","shortMessageHtmlLink":"ci: Refactor deployment"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0yMFQyMDo0MTowMy4wMDAwMDBazwAAAAS8WsmJ","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0yMFQyMDo0MTowMy4wMDAwMDBazwAAAAS8WsmJ","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0wM1QxODo0ODozNy4wMDAwMDBazwAAAASr66bs"}},"title":"Activity · argumentcomputer/user-manual"}