{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":279669688,"defaultBranch":"master","name":"thmtools","ownerLogin":"muzimuzhi","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2020-07-14T18:59:41.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/6376638?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1683183423.0","currentOid":""},"activityList":{"items":[{"before":"ed2e17c0376708e30e5e15a0bb02df4d879ae541","after":"ced87d57f0ce3e4cf37de9c1d87ecf7266b9fd19","ref":"refs/heads/master","pushedAt":"2024-02-21T20:54:19.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"muzimuzhi","name":"Yukai Chou","path":"/muzimuzhi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6376638?s=80&v=4"},"commit":{"message":"Merge pull request #64 from mbertucci47/doc-update\n\nsmall updates to thmtools-manual.tex","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2130895088\" data-permission-text=\"Title is private\" data-url=\"https://github.com/muzimuzhi/thmtools/issues/64\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/muzimuzhi/thmtools/pull/64/hovercard\" href=\"https://github.com/muzimuzhi/thmtools/pull/64\">#64</a> from mbertucci47/doc-update"}},{"before":"94e90424b79e7fa65dd96f4a5a2d4e1a12ec1115","after":"ed2e17c0376708e30e5e15a0bb02df4d879ae541","ref":"refs/heads/master","pushedAt":"2024-01-30T03:56:28.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"mbertucci47","name":null,"path":"/mbertucci47","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/61854785?s=80&v=4"},"commit":{"message":"Merge pull request #63 from mbertucci47/braces\n\nadd braces to restate key example","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2106249229\" data-permission-text=\"Title is private\" data-url=\"https://github.com/muzimuzhi/thmtools/issues/63\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/muzimuzhi/thmtools/pull/63/hovercard\" href=\"https://github.com/muzimuzhi/thmtools/pull/63\">#63</a> from mbertucci47/braces"}},{"before":"c7445605ef5d18d0e6d55566e111f36d28e5483c","after":"94e90424b79e7fa65dd96f4a5a2d4e1a12ec1115","ref":"refs/heads/master","pushedAt":"2023-12-26T09:01:04.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"muzimuzhi","name":"Yukai Chou","path":"/muzimuzhi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6376638?s=80&v=4"},"commit":{"message":"fix typos in manual (#59)","shortMessageHtmlLink":"fix typos in manual (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2056196877\" data-permission-text=\"Title is private\" data-url=\"https://github.com/muzimuzhi/thmtools/issues/59\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/muzimuzhi/thmtools/pull/59/hovercard\" href=\"https://github.com/muzimuzhi/thmtools/pull/59\">#59</a>)"}},{"before":"7399d8e170d09ada64e96e2022fbe310c0e285fd","after":"c7445605ef5d18d0e6d55566e111f36d28e5483c","ref":"refs/heads/master","pushedAt":"2023-12-11T21:03:07.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"mbertucci47","name":null,"path":"/mbertucci47","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/61854785?s=80&v=4"},"commit":{"message":"Merge pull request #56 from mbertucci47/listhack\n\nuse `\\thmt@define@thmuse@key` for `listhack` key","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2036480393\" data-permission-text=\"Title is private\" data-url=\"https://github.com/muzimuzhi/thmtools/issues/56\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/muzimuzhi/thmtools/pull/56/hovercard\" href=\"https://github.com/muzimuzhi/thmtools/pull/56\">#56</a> from mbertucci47/listhack"}},{"before":"3a9b6a6864dfab48b58b58513f962c9c18011e63","after":"7399d8e170d09ada64e96e2022fbe310c0e285fd","ref":"refs/heads/master","pushedAt":"2023-12-11T20:27:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mbertucci47","name":null,"path":"/mbertucci47","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/61854785?s=80&v=4"},"commit":{"message":"\\ltx@IfUndefined -> \\@ifundefined in dtx\n\nShould have done this in [this commit](https://github.com/muzimuzhi/thmtools/commit/1c6e077b342b9a3bbf648af723654dc38efc9471)","shortMessageHtmlLink":"\\ltx@IfUndefined -&gt; \\<a class=\"user-mention notranslate\" data-hovercard-type=\"user\" data-hovercard-url=\"/users/ifundefined/hovercard\" data-octo-click=\"hovercard-link-click\" data-octo-dimensions=\"link_type:self\" href=\"https://github.com/ifundefined\">@ifundefined</a> in dtx"}},{"before":"d71ec8cd224c74b4c8793b3be77600fc630c31bf","after":"3a9b6a6864dfab48b58b58513f962c9c18011e63","ref":"refs/heads/master","pushedAt":"2023-12-02T20:01:01.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"mbertucci47","name":null,"path":"/mbertucci47","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/61854785?s=80&v=4"},"commit":{"message":"Merge pull request #45 from mbertucci47/patch-2\n\nAdd qed and break keys to big list in thmtools-manual.tex","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1911998840\" data-permission-text=\"Title is private\" data-url=\"https://github.com/muzimuzhi/thmtools/issues/45\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/muzimuzhi/thmtools/pull/45/hovercard\" href=\"https://github.com/muzimuzhi/thmtools/pull/45\">#45</a> from mbertucci47/patch-2"}},{"before":"1c6e077b342b9a3bbf648af723654dc38efc9471","after":"d71ec8cd224c74b4c8793b3be77600fc630c31bf","ref":"refs/heads/master","pushedAt":"2023-12-02T16:40:23.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"mbertucci47","name":null,"path":"/mbertucci47","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/61854785?s=80&v=4"},"commit":{"message":"Merge pull request #46 from mbertucci47/patch-3\n\nfix headindent -> qed in thm-ntheorem","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1912069777\" data-permission-text=\"Title is private\" data-url=\"https://github.com/muzimuzhi/thmtools/issues/46\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/muzimuzhi/thmtools/pull/46/hovercard\" href=\"https://github.com/muzimuzhi/thmtools/pull/46\">#46</a> from mbertucci47/patch-3"}},{"before":"062987c793c744e0e8adb97c1189b7e00d28c0a7","after":"1c6e077b342b9a3bbf648af723654dc38efc9471","ref":"refs/heads/master","pushedAt":"2023-12-02T16:34:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mbertucci47","name":null,"path":"/mbertucci47","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/61854785?s=80&v=4"},"commit":{"message":"change \\ltx@IfUndefined to \\@ifundefined\n\nCloses #55","shortMessageHtmlLink":"change \\ltx@IfUndefined to \\<a class=\"user-mention notranslate\" data-hovercard-type=\"user\" data-hovercard-url=\"/users/ifundefined/hovercard\" data-octo-click=\"hovercard-link-click\" data-octo-dimensions=\"link_type:self\" href=\"https://github.com/ifundefined\">@ifundefined</a>"}},{"before":"295c55955e0e3b175f21daeb1a0550da3b19ee6a","after":"062987c793c744e0e8adb97c1189b7e00d28c0a7","ref":"refs/heads/master","pushedAt":"2023-12-02T16:29:36.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"mbertucci47","name":null,"path":"/mbertucci47","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/61854785?s=80&v=4"},"commit":{"message":"Merge pull request #52 from mbertucci47/patch-5\n\nfix a few doc typos","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1984604073\" data-permission-text=\"Title is private\" data-url=\"https://github.com/muzimuzhi/thmtools/issues/52\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/muzimuzhi/thmtools/pull/52/hovercard\" href=\"https://github.com/muzimuzhi/thmtools/pull/52\">#52</a> from mbertucci47/patch-5"}},{"before":"865001f7e9b828663496004c29aec7ff1903e70e","after":"295c55955e0e3b175f21daeb1a0550da3b19ee6a","ref":"refs/heads/master","pushedAt":"2023-11-12T18:46:09.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"muzimuzhi","name":"Yukai Chou","path":"/muzimuzhi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6376638?s=80&v=4"},"commit":{"message":"remove unnecessary loading of thm-restate from doc (#39)","shortMessageHtmlLink":"remove unnecessary loading of thm-restate from doc (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1860239905\" data-permission-text=\"Title is private\" data-url=\"https://github.com/muzimuzhi/thmtools/issues/39\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/muzimuzhi/thmtools/pull/39/hovercard\" href=\"https://github.com/muzimuzhi/thmtools/pull/39\">#39</a>)"}},{"before":"9a55bf4e9badb70aad184c1b071f33cc66779eae","after":"865001f7e9b828663496004c29aec7ff1903e70e","ref":"refs/heads/master","pushedAt":"2023-10-22T11:02:05.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"muzimuzhi","name":"Yukai Chou","path":"/muzimuzhi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6376638?s=80&v=4"},"commit":{"message":"fix amsthm link (#50)\n\nDid link to amsmath, now correctly links to amsthm","shortMessageHtmlLink":"fix amsthm link (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1955742691\" data-permission-text=\"Title is private\" data-url=\"https://github.com/muzimuzhi/thmtools/issues/50\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/muzimuzhi/thmtools/pull/50/hovercard\" href=\"https://github.com/muzimuzhi/thmtools/pull/50\">#50</a>)"}},{"before":"f5dca47b19a918b2cc1f503282d9da31b5519078","after":"9a55bf4e9badb70aad184c1b071f33cc66779eae","ref":"refs/heads/master","pushedAt":"2023-05-08T17:31:39.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"muzimuzhi","name":"Yukai Chou","path":"/muzimuzhi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6376638?s=80&v=4"},"commit":{"message":"small typo (#37)\n\nfix `sharecounter`->`sharenumber`","shortMessageHtmlLink":"small typo (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1699208072\" data-permission-text=\"Title is private\" data-url=\"https://github.com/muzimuzhi/thmtools/issues/37\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/muzimuzhi/thmtools/pull/37/hovercard\" href=\"https://github.com/muzimuzhi/thmtools/pull/37\">#37</a>)"}},{"before":"428a50a5f3277b0cbc51390219915ef6ef717efd","after":"f5dca47b19a918b2cc1f503282d9da31b5519078","ref":"refs/heads/master","pushedAt":"2023-05-04T06:38:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"muzimuzhi","name":"Yukai Chou","path":"/muzimuzhi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6376638?s=80&v=4"},"commit":{"message":"docs: expand changes entry","shortMessageHtmlLink":"docs: expand changes entry"}},{"before":"6b01cdfa0d3805559a80a3526638d603da1acdcb","after":"428a50a5f3277b0cbc51390219915ef6ef717efd","ref":"refs/heads/master","pushedAt":"2023-05-04T06:17:23.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"muzimuzhi","name":"Yukai Chou","path":"/muzimuzhi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6376638?s=80&v=4"},"commit":{"message":"chore: update sty","shortMessageHtmlLink":"chore: update sty"}},{"before":"14a7bcd24d60f79081c5843005bcb1c79cb024aa","after":"6b01cdfa0d3805559a80a3526638d603da1acdcb","ref":"refs/heads/master","pushedAt":"2023-05-03T13:16:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"muzimuzhi","name":"Yukai Chou","path":"/muzimuzhi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6376638?s=80&v=4"},"commit":{"message":"chore: update sty","shortMessageHtmlLink":"chore: update sty"}},{"before":"e11a2b8070110dc8bc7f927dcbb1dc7abc27de3b","after":"14a7bcd24d60f79081c5843005bcb1c79cb024aa","ref":"refs/heads/master","pushedAt":"2023-05-03T13:12:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"muzimuzhi","name":"Yukai Chou","path":"/muzimuzhi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6376638?s=80&v=4"},"commit":{"message":"fix(ntheorem): suppress expansion of `\\MakeUppercase` in `\\thmt@thmname`\n\nclose #36","shortMessageHtmlLink":"fix(ntheorem): suppress expansion of <code>\\MakeUppercase</code> in <code>\\thmt@thmname</code>"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEAUsLUwA","startCursor":null,"endCursor":null}},"title":"Activity · muzimuzhi/thmtools"}