{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":432699814,"defaultBranch":"main","name":"metamath-web","ownerLogin":"tirix","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2021-11-28T11:59:37.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/5831830?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1699793874.0","currentOid":""},"activityList":{"items":[{"before":"fcd37d4c382670cd080dfb18f117fd5487ebfa6c","after":"79043c6bfbf136a5b1663485b8412eaa00041dbe","ref":"refs/heads/main","pushedAt":"2023-11-12T13:03:17.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"tirix","name":null,"path":"/tirix","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5831830?s=80&v=4"},"commit":{"message":"Merge pull request #28 from tirix/sts-tc\n\nCorrect STS typecode for syntax definitions","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1989391620\" data-permission-text=\"Title is private\" data-url=\"https://github.com/tirix/metamath-web/issues/28\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/tirix/metamath-web/pull/28/hovercard\" href=\"https://github.com/tirix/metamath-web/pull/28\">#28</a> from tirix/sts-tc"}},{"before":null,"after":"bf8f09b7afd6392033307bcc781243d20d1f5019","ref":"refs/heads/sts-tc","pushedAt":"2023-11-12T12:57:54.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"tirix","name":null,"path":"/tirix","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5831830?s=80&v=4"},"commit":{"message":"Fmt","shortMessageHtmlLink":"Fmt"}},{"before":"83df7928ab801cfde2af2ed776c88cdc942e4bbc","after":null,"ref":"refs/heads/syntax-breakdown","pushedAt":"2023-11-11T23:06:28.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"tirix","name":null,"path":"/tirix","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5831830?s=80&v=4"}},{"before":"5b2a3be942ab862ed02af7de8d9f952a0fbeedb2","after":"fcd37d4c382670cd080dfb18f117fd5487ebfa6c","ref":"refs/heads/main","pushedAt":"2023-11-11T23:03:32.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"tirix","name":null,"path":"/tirix","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5831830?s=80&v=4"},"commit":{"message":"Merge pull request #27 from tirix/syntax-breakdown\n\nFormula extraction for syntax breakdown","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1989149127\" data-permission-text=\"Title is private\" data-url=\"https://github.com/tirix/metamath-web/issues/27\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/tirix/metamath-web/pull/27/hovercard\" href=\"https://github.com/tirix/metamath-web/pull/27\">#27</a> from tirix/syntax-breakdown"}},{"before":"6cf4e2ca95121bc1491e7f187c397d1968fb8881","after":"83df7928ab801cfde2af2ed776c88cdc942e4bbc","ref":"refs/heads/syntax-breakdown","pushedAt":"2023-11-11T22:59:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tirix","name":null,"path":"/tirix","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5831830?s=80&v=4"},"commit":{"message":"Fmt","shortMessageHtmlLink":"Fmt"}},{"before":null,"after":"6cf4e2ca95121bc1491e7f187c397d1968fb8881","ref":"refs/heads/syntax-breakdown","pushedAt":"2023-11-11T22:59:00.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"tirix","name":null,"path":"/tirix","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5831830?s=80&v=4"},"commit":{"message":"Formula extraction for syntax breakdown","shortMessageHtmlLink":"Formula extraction for syntax breakdown"}},{"before":"848390006d21042f287635b7c198a61d4861e2e3","after":"5b2a3be942ab862ed02af7de8d9f952a0fbeedb2","ref":"refs/heads/main","pushedAt":"2023-10-31T22:36:34.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"tirix","name":null,"path":"/tirix","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5831830?s=80&v=4"},"commit":{"message":"Merge pull request #25 from tirix/math-font\n\nAdded XITS font for unicode typesetting","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1971377791\" data-permission-text=\"Title is private\" data-url=\"https://github.com/tirix/metamath-web/issues/25\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/tirix/metamath-web/pull/25/hovercard\" href=\"https://github.com/tirix/metamath-web/pull/25\">#25</a> from tirix/math-font"}},{"before":null,"after":"5a5f8a07914d6f16ecf0f811e448c44f493ee9b0","ref":"refs/heads/math-font","pushedAt":"2023-10-31T22:18:03.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"tirix","name":null,"path":"/tirix","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5831830?s=80&v=4"},"commit":{"message":"Added XITS font for unicode typesetting","shortMessageHtmlLink":"Added XITS font for unicode typesetting"}},{"before":"1581065565922035908e8da0a54493c79ca01c8a","after":"848390006d21042f287635b7c198a61d4861e2e3","ref":"refs/heads/main","pushedAt":"2023-10-30T13:12:37.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"tirix","name":null,"path":"/tirix","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5831830?s=80&v=4"},"commit":{"message":"Merge pull request #22 from tirix/fix-heading-comments\n\nFix heading comments","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1968318711\" data-permission-text=\"Title is private\" data-url=\"https://github.com/tirix/metamath-web/issues/22\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/tirix/metamath-web/pull/22/hovercard\" href=\"https://github.com/tirix/metamath-web/pull/22\">#22</a> from tirix/fix-heading-comments"}},{"before":null,"after":"0861fe03fa42b262452a2d4af6b16c0f81392a32","ref":"refs/heads/fix-heading-comments","pushedAt":"2023-10-30T13:07:57.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"tirix","name":null,"path":"/tirix","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5831830?s=80&v=4"},"commit":{"message":"Fix heading comments","shortMessageHtmlLink":"Fix heading comments"}},{"before":"6f2c010cab1399494b33981bc97dbf1b6d1514be","after":"1581065565922035908e8da0a54493c79ca01c8a","ref":"refs/heads/main","pushedAt":"2023-10-30T10:56:47.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"tirix","name":null,"path":"/tirix","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5831830?s=80&v=4"},"commit":{"message":"Merge pull request #21 from tirix/no-hyp-links\n\nRemove links for hypotheses","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1968048455\" data-permission-text=\"Title is private\" data-url=\"https://github.com/tirix/metamath-web/issues/21\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/tirix/metamath-web/pull/21/hovercard\" href=\"https://github.com/tirix/metamath-web/pull/21\">#21</a> from tirix/no-hyp-links"}},{"before":"6f2c010cab1399494b33981bc97dbf1b6d1514be","after":"a3b6e6c2ea339b54673caa26b7de0c1d63914f32","ref":"refs/heads/no-hyp-links","pushedAt":"2023-10-30T10:47:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tirix","name":null,"path":"/tirix","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5831830?s=80&v=4"},"commit":{"message":"Remove links for hypotheses","shortMessageHtmlLink":"Remove links for hypotheses"}},{"before":null,"after":"6f2c010cab1399494b33981bc97dbf1b6d1514be","ref":"refs/heads/no-hyp-links","pushedAt":"2023-10-30T10:47:00.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"tirix","name":null,"path":"/tirix","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5831830?s=80&v=4"},"commit":{"message":"Merge pull request #20 from tirix/heading-comment\n\n* Header comments\r\n* bump `metamath-knife` to v0.3.7","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1967928723\" data-permission-text=\"Title is private\" data-url=\"https://github.com/tirix/metamath-web/issues/20\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/tirix/metamath-web/pull/20/hovercard\" href=\"https://github.com/tirix/metamath-web/pull/20\">#20</a> from tirix/heading-comment"}},{"before":"483d65d664ca6beb80c4fccc2dd11b2711c5ae31","after":"6f2c010cab1399494b33981bc97dbf1b6d1514be","ref":"refs/heads/main","pushedAt":"2023-10-30T10:44:35.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"tirix","name":null,"path":"/tirix","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5831830?s=80&v=4"},"commit":{"message":"Merge pull request #20 from tirix/heading-comment\n\n* Header comments\r\n* bump `metamath-knife` to v0.3.7","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1967928723\" data-permission-text=\"Title is private\" data-url=\"https://github.com/tirix/metamath-web/issues/20\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/tirix/metamath-web/pull/20/hovercard\" href=\"https://github.com/tirix/metamath-web/pull/20\">#20</a> from tirix/heading-comment"}},{"before":null,"after":"d437a024e9d52753e13c29a2c20ae756bbc8564c","ref":"refs/heads/heading-comment","pushedAt":"2023-10-30T09:43:48.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"tirix","name":null,"path":"/tirix","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5831830?s=80&v=4"},"commit":{"message":"Header comments, bump `metamath-knife` to v0.3.7","shortMessageHtmlLink":"Header comments, bump <code>metamath-knife</code> to v0.3.7"}},{"before":"9a455b1bc45395ab014a7137b84f0d83d84bc962","after":"483d65d664ca6beb80c4fccc2dd11b2711c5ae31","ref":"refs/heads/main","pushedAt":"2023-10-29T23:31:51.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"tirix","name":null,"path":"/tirix","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5831830?s=80&v=4"},"commit":{"message":"Merge pull request #15 from tirix/check-sts\n\nAdd check STS option","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1967025367\" data-permission-text=\"Title is private\" data-url=\"https://github.com/tirix/metamath-web/issues/15\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/tirix/metamath-web/pull/15/hovercard\" href=\"https://github.com/tirix/metamath-web/pull/15\">#15</a> from tirix/check-sts"}},{"before":"436c35c6a7a84857422a63c9726e858ba4943501","after":"8ae52bfe7bbcc5d1c8c618a8e0c4f379ae7c647a","ref":"refs/heads/check-sts","pushedAt":"2023-10-29T23:12:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tirix","name":null,"path":"/tirix","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5831830?s=80&v=4"},"commit":{"message":"Fix/improve STS check\n\n* axiom/definition display\n* page titles","shortMessageHtmlLink":"Fix/improve STS check"}},{"before":"278cf1dcd2e8174cbef831a545db738047585007","after":"436c35c6a7a84857422a63c9726e858ba4943501","ref":"refs/heads/check-sts","pushedAt":"2023-10-29T15:39:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tirix","name":null,"path":"/tirix","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5831830?s=80&v=4"},"commit":{"message":"Clippy","shortMessageHtmlLink":"Clippy"}},{"before":null,"after":"278cf1dcd2e8174cbef831a545db738047585007","ref":"refs/heads/check-sts","pushedAt":"2023-10-29T15:00:28.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"tirix","name":null,"path":"/tirix","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5831830?s=80&v=4"},"commit":{"message":"Add check STS option","shortMessageHtmlLink":"Add check STS option"}},{"before":"90e01933ad4297cca803d3713041c3770166054f","after":"9a455b1bc45395ab014a7137b84f0d83d84bc962","ref":"refs/heads/main","pushedAt":"2023-10-29T13:11:30.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"tirix","name":null,"path":"/tirix","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5831830?s=80&v=4"},"commit":{"message":"Merge pull request #13 from tirix/tirix-patch-1\n\nUpdate README.md","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1966979938\" data-permission-text=\"Title is private\" data-url=\"https://github.com/tirix/metamath-web/issues/13\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/tirix/metamath-web/pull/13/hovercard\" href=\"https://github.com/tirix/metamath-web/pull/13\">#13</a> from tirix/tirix-patch-1"}},{"before":"39805169f2a11158cee03cfc571c81d7b92d13cf","after":"90e01933ad4297cca803d3713041c3770166054f","ref":"refs/heads/main","pushedAt":"2023-10-29T13:11:07.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"tirix","name":null,"path":"/tirix","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5831830?s=80&v=4"},"commit":{"message":"Merge pull request #14 from tirix/Turnstile\n\nFix turnstile symbol and margin for ASCII","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1966984496\" data-permission-text=\"Title is private\" data-url=\"https://github.com/tirix/metamath-web/issues/14\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/tirix/metamath-web/pull/14/hovercard\" href=\"https://github.com/tirix/metamath-web/pull/14\">#14</a> from tirix/Turnstile"}},{"before":"39805169f2a11158cee03cfc571c81d7b92d13cf","after":"682f52637837a6fc1a37a037ab162fa8c105ffbb","ref":"refs/heads/Turnstile","pushedAt":"2023-10-29T13:08:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tirix","name":null,"path":"/tirix","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5831830?s=80&v=4"},"commit":{"message":"Fix turnstile symbol and margin for ASCII","shortMessageHtmlLink":"Fix turnstile symbol and margin for ASCII"}},{"before":null,"after":"39805169f2a11158cee03cfc571c81d7b92d13cf","ref":"refs/heads/Turnstile","pushedAt":"2023-10-29T13:08:43.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"tirix","name":null,"path":"/tirix","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5831830?s=80&v=4"},"commit":{"message":"Merge pull request #12 from tirix/fmt\n\nCargo format, add CI","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1966975061\" data-permission-text=\"Title is private\" data-url=\"https://github.com/tirix/metamath-web/issues/12\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/tirix/metamath-web/pull/12/hovercard\" href=\"https://github.com/tirix/metamath-web/pull/12\">#12</a> from tirix/fmt"}},{"before":null,"after":"d3de92c605a42f1e92026cdd566cf34e530575b6","ref":"refs/heads/tirix-patch-1","pushedAt":"2023-10-29T12:55:48.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"tirix","name":null,"path":"/tirix","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5831830?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"bf4e06fe58340a4a565eed912c0528e4c43a8f3d","after":"39805169f2a11158cee03cfc571c81d7b92d13cf","ref":"refs/heads/main","pushedAt":"2023-10-29T12:53:21.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"tirix","name":null,"path":"/tirix","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5831830?s=80&v=4"},"commit":{"message":"Merge pull request #12 from tirix/fmt\n\nCargo format, add CI","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1966975061\" data-permission-text=\"Title is private\" data-url=\"https://github.com/tirix/metamath-web/issues/12\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/tirix/metamath-web/pull/12/hovercard\" href=\"https://github.com/tirix/metamath-web/pull/12\">#12</a> from tirix/fmt"}},{"before":"bf4e06fe58340a4a565eed912c0528e4c43a8f3d","after":"f40d82b9d32ea4f19b3baceda72a09d43ba83810","ref":"refs/heads/fmt","pushedAt":"2023-10-29T12:41:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tirix","name":null,"path":"/tirix","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5831830?s=80&v=4"},"commit":{"message":"Cargo format, add CI","shortMessageHtmlLink":"Cargo format, add CI"}},{"before":null,"after":"bf4e06fe58340a4a565eed912c0528e4c43a8f3d","ref":"refs/heads/fmt","pushedAt":"2023-10-29T12:41:03.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"tirix","name":null,"path":"/tirix","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5831830?s=80&v=4"},"commit":{"message":"Merge pull request #11 from tirix/comments\n\nBump metamath-knife version","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1966941379\" data-permission-text=\"Title is private\" data-url=\"https://github.com/tirix/metamath-web/issues/11\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/tirix/metamath-web/pull/11/hovercard\" href=\"https://github.com/tirix/metamath-web/pull/11\">#11</a> from tirix/comments"}},{"before":"e45bbc44389a2d24abaf988a6cc3377fa550a30b","after":"ff89f5a8c02d70b8fec868feb7483f4397d01f26","ref":"refs/heads/next","pushedAt":"2023-10-29T11:30:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tirix","name":null,"path":"/tirix","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5831830?s=80&v=4"},"commit":{"message":"Update toc.rs","shortMessageHtmlLink":"Update toc.rs"}},{"before":"74705ae8815f8db7df246f6e03c2e84c57f88369","after":"e45bbc44389a2d24abaf988a6cc3377fa550a30b","ref":"refs/heads/next","pushedAt":"2023-10-29T11:30:02.000Z","pushType":"push","commitsCount":6,"pusher":{"login":"tirix","name":null,"path":"/tirix","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5831830?s=80&v=4"},"commit":{"message":"Merge branch 'main' into next","shortMessageHtmlLink":"Merge branch 'main' into next"}},{"before":null,"after":"54e433f0a106296cd5a5eea62b32c32558d01851","ref":"refs/heads/ci","pushedAt":"2023-10-29T11:25:56.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"tirix","name":null,"path":"/tirix","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5831830?s=80&v=4"},"commit":{"message":"Merge pull request #8 from tirix/next\n\nNavigation to next theorem or chapter","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1112162688\" data-permission-text=\"Title is private\" data-url=\"https://github.com/tirix/metamath-web/issues/8\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/tirix/metamath-web/pull/8/hovercard\" href=\"https://github.com/tirix/metamath-web/pull/8\">#8</a> from tirix/next"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADrTGKoQA","startCursor":null,"endCursor":null}},"title":"Activity · tirix/metamath-web"}