{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":530325943,"defaultBranch":"main","name":"metamath-website-seed","ownerLogin":"metamath","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2022-08-29T17:36:40.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/5435286?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1699960069.0","currentOid":""},"activityList":{"items":[{"before":"914743af5afdffcfb849b36d351d7bb340efdd3f","after":"79bc59dba91f95e00dc6b84bf0c4dac4d60c5ef7","ref":"refs/heads/main","pushedAt":"2024-05-19T04:51:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"david-a-wheeler","name":"David A. Wheeler","path":"/david-a-wheeler","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/813150?s=80&v=4"},"commit":{"message":"Add mailto: link to subscribe to the mailing list\n\n@tirix noted a nice mailto: link for subscribing\nto the mailing list here:\nhttps://github.com/metamath/set.mm/issues/3990\n\nThis commits makes that easier for people to find.\nI changed \"@\" to an HTML entity to counter some\nspammers (who sometimes don't take the time to parse\nHTML correct).\n\nSigned-off-by: David A. Wheeler <dwheeler@dwheeler.com>","shortMessageHtmlLink":"Add mailto: link to subscribe to the mailing list"}},{"before":"8ca83b6ee52c2efedf39ec0a952f598d94b4cf7a","after":"914743af5afdffcfb849b36d351d7bb340efdd3f","ref":"refs/heads/main","pushedAt":"2023-12-09T15:39:36.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"jkingdon","name":"Jim Kingdon","path":"/jkingdon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16878?s=80&v=4"},"commit":{"message":"German translation of the Metamath book (#21)\n\n* German translation of the Metamath book\r\n\r\n* Revision according to review remarks","shortMessageHtmlLink":"German translation of the Metamath book (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2026650554\" data-permission-text=\"Title is private\" data-url=\"https://github.com/metamath/metamath-website-seed/issues/21\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/metamath/metamath-website-seed/pull/21/hovercard\" href=\"https://github.com/metamath/metamath-website-seed/pull/21\">#21</a>)"}},{"before":"a9b4f7ea91fe058706d9bc02ce396d25b8bdfa38","after":null,"ref":"refs/heads/img_src","pushedAt":"2023-11-14T11:07:49.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"digama0","name":"Mario Carneiro","path":"/digama0","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/868588?s=80&v=4"}},{"before":"399917338f6d3bc6ce06ee7352d2dcd55d68d1aa","after":"8ca83b6ee52c2efedf39ec0a952f598d94b4cf7a","ref":"refs/heads/main","pushedAt":"2023-11-14T11:07:45.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"digama0","name":"Mario Carneiro","path":"/digama0","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/868588?s=80&v=4"},"commit":{"message":"don't line break between `<IMG` and `SRC=` (#20)","shortMessageHtmlLink":"don't line break between <code>&lt;IMG</code> and <code>SRC=</code> (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1989326381\" data-permission-text=\"Title is private\" data-url=\"https://github.com/metamath/metamath-website-seed/issues/20\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/metamath/metamath-website-seed/pull/20/hovercard\" href=\"https://github.com/metamath/metamath-website-seed/pull/20\">#20</a>)"}},{"before":"b5164c3d84694cad42b09925392a74aa20c5e803","after":"a9b4f7ea91fe058706d9bc02ce396d25b8bdfa38","ref":"refs/heads/img_src","pushedAt":"2023-11-14T00:36:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"digama0","name":"Mario Carneiro","path":"/digama0","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/868588?s=80&v=4"},"commit":{"message":"UTF-8 charset","shortMessageHtmlLink":"UTF-8 charset"}},{"before":"d2394c4b5c3267e2f602d4d03d6c464107f04a75","after":"b5164c3d84694cad42b09925392a74aa20c5e803","ref":"refs/heads/img_src","pushedAt":"2023-11-13T05:37:29.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"digama0","name":"Mario Carneiro","path":"/digama0","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/868588?s=80&v=4"},"commit":{"message":"fix encoding","shortMessageHtmlLink":"fix encoding"}},{"before":null,"after":"d2394c4b5c3267e2f602d4d03d6c464107f04a75","ref":"refs/heads/img_src","pushedAt":"2023-11-12T09:39:24.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"digama0","name":"Mario Carneiro","path":"/digama0","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/868588?s=80&v=4"},"commit":{"message":"don't line break between `<IMG` and `SRC=`","shortMessageHtmlLink":"don't line break between <code>&lt;IMG</code> and <code>SRC=</code>"}},{"before":"5f0477e8e3e46e92acbad892b3a15a6181d5b0d1","after":"399917338f6d3bc6ce06ee7352d2dcd55d68d1aa","ref":"refs/heads/main","pushedAt":"2023-10-25T16:32:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"digama0","name":"Mario Carneiro","path":"/digama0","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/868588?s=80&v=4"},"commit":{"message":"move images from symbols repo","shortMessageHtmlLink":"move images from symbols repo"}},{"before":"336986ab030417b6a0eefe224f7289f68e72056a","after":"5f0477e8e3e46e92acbad892b3a15a6181d5b0d1","ref":"refs/heads/main","pushedAt":"2023-10-25T09:31:02.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"digama0","name":"Mario Carneiro","path":"/digama0","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/868588?s=80&v=4"},"commit":{"message":"Fix links pointing to old us2 site (#19)\n\nCo-authored-by: Mario Carneiro <di.gama@gmail.com>","shortMessageHtmlLink":"Fix links pointing to old us2 site (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1960885788\" data-permission-text=\"Title is private\" data-url=\"https://github.com/metamath/metamath-website-seed/issues/19\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/metamath/metamath-website-seed/pull/19/hovercard\" href=\"https://github.com/metamath/metamath-website-seed/pull/19\">#19</a>)"}},{"before":"7d4e0b7f702f08e3adf7fb522465e0ae6d254e1a","after":null,"ref":"refs/heads/rm_symbols","pushedAt":"2023-10-25T08:29:54.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"digama0","name":"Mario Carneiro","path":"/digama0","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/868588?s=80&v=4"}},{"before":"2e2845a1e5c225ebaf92f62af2361fc403c2e666","after":"336986ab030417b6a0eefe224f7289f68e72056a","ref":"refs/heads/main","pushedAt":"2023-10-25T08:22:03.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"digama0","name":"Mario Carneiro","path":"/digama0","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/868588?s=80&v=4"},"commit":{"message":"remove files duplicated from other repos (#18)\n\n* remove symbols from https://github.com/metamath/symbols\r\n\r\n* remove `symbols/`\r\n\r\n* remove `*.mm` files duplicated from set.mm repo\r\n\r\n* remove `metamath/` dir duplicated from metamath-exe repo\r\n\r\n* rm `mmbiblio.html` duplicated from set.mm\r\n\r\n* remove install.log generated file\r\n\r\n* remove install.sh from metamath-website-scripts\r\n\r\n* remove *.raw.html from set.mm\r\n\r\n* remove __README.TXT generated files\r\n\r\n* rename biblio to mmbiblio.raw.html\r\n\r\n* rename mmrecent to mmrecent.raw.html\r\n\r\n* rm mmrecent_IL.html from set.mm repo\r\n\r\n* rm mmhil.html from set.mm repo\r\n\r\n* remove rdme-metamathsite.txt (duplicates README.TXT)\r\n\r\n* remove references to metamathsite.zip, direct to github","shortMessageHtmlLink":"remove files duplicated from other repos (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1911298255\" data-permission-text=\"Title is private\" data-url=\"https://github.com/metamath/metamath-website-seed/issues/18\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/metamath/metamath-website-seed/pull/18/hovercard\" href=\"https://github.com/metamath/metamath-website-seed/pull/18\">#18</a>)"}},{"before":"5e75207c98683e7de8a10e45f3176b6e85bbf5bf","after":"7d4e0b7f702f08e3adf7fb522465e0ae6d254e1a","ref":"refs/heads/rm_symbols","pushedAt":"2023-09-28T10:37:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"digama0","name":"Mario Carneiro","path":"/digama0","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/868588?s=80&v=4"},"commit":{"message":"remove references to metamathsite.zip, direct to github","shortMessageHtmlLink":"remove references to metamathsite.zip, direct to github"}},{"before":"358b5cf161962c674f8808fcfd95fef076f02685","after":"5e75207c98683e7de8a10e45f3176b6e85bbf5bf","ref":"refs/heads/rm_symbols","pushedAt":"2023-09-28T09:11:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"digama0","name":"Mario Carneiro","path":"/digama0","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/868588?s=80&v=4"},"commit":{"message":"remove rdme-metamathsite.txt (duplicates README.TXT)","shortMessageHtmlLink":"remove rdme-metamathsite.txt (duplicates README.TXT)"}},{"before":"85271442fe5c6f9f53c79345a9b94ca92eae9474","after":"358b5cf161962c674f8808fcfd95fef076f02685","ref":"refs/heads/rm_symbols","pushedAt":"2023-09-28T06:26:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"digama0","name":"Mario Carneiro","path":"/digama0","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/868588?s=80&v=4"},"commit":{"message":"rm mmhil.html from set.mm repo","shortMessageHtmlLink":"rm mmhil.html from set.mm repo"}},{"before":"0969fef509fc1e67a5c9875ca2f34e162190159b","after":"85271442fe5c6f9f53c79345a9b94ca92eae9474","ref":"refs/heads/rm_symbols","pushedAt":"2023-09-28T00:39:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"digama0","name":"Mario Carneiro","path":"/digama0","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/868588?s=80&v=4"},"commit":{"message":"rm mmrecent_IL.html from set.mm repo","shortMessageHtmlLink":"rm mmrecent_IL.html from set.mm repo"}},{"before":"ced19414e578fc92ec26d980c94159818bf68132","after":"0969fef509fc1e67a5c9875ca2f34e162190159b","ref":"refs/heads/rm_symbols","pushedAt":"2023-09-28T00:19:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"digama0","name":"Mario Carneiro","path":"/digama0","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/868588?s=80&v=4"},"commit":{"message":"rename mmrecent to mmrecent.raw.html","shortMessageHtmlLink":"rename mmrecent to mmrecent.raw.html"}},{"before":"6f95ccc16a3c6cc4e50b8213a99a8792d4151b51","after":"ced19414e578fc92ec26d980c94159818bf68132","ref":"refs/heads/rm_symbols","pushedAt":"2023-09-27T09:13:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"digama0","name":"Mario Carneiro","path":"/digama0","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/868588?s=80&v=4"},"commit":{"message":"rename biblio to mmbiblio.raw.html","shortMessageHtmlLink":"rename biblio to mmbiblio.raw.html"}},{"before":"0534964f9d512c3312cf6ec932d04ad851f4b3d6","after":"6f95ccc16a3c6cc4e50b8213a99a8792d4151b51","ref":"refs/heads/rm_symbols","pushedAt":"2023-09-27T07:49:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"digama0","name":"Mario Carneiro","path":"/digama0","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/868588?s=80&v=4"},"commit":{"message":"remove __README.TXT generated files","shortMessageHtmlLink":"remove __README.TXT generated files"}},{"before":"c97af2540010d80663d3bf83161ce9c06d7c0c50","after":"0534964f9d512c3312cf6ec932d04ad851f4b3d6","ref":"refs/heads/rm_symbols","pushedAt":"2023-09-27T07:44:33.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"digama0","name":"Mario Carneiro","path":"/digama0","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/868588?s=80&v=4"},"commit":{"message":"remove *.raw.html from set.mm","shortMessageHtmlLink":"remove *.raw.html from set.mm"}},{"before":"e6f31b4b0c39fbb6dd917a8ce30fe50b01e2ca50","after":"c97af2540010d80663d3bf83161ce9c06d7c0c50","ref":"refs/heads/rm_symbols","pushedAt":"2023-09-27T07:43:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"digama0","name":"Mario Carneiro","path":"/digama0","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/868588?s=80&v=4"},"commit":{"message":"remove *.raw.html from set.mm","shortMessageHtmlLink":"remove *.raw.html from set.mm"}},{"before":"46e4345e28384c74901b5a468bad6732be3802eb","after":"e6f31b4b0c39fbb6dd917a8ce30fe50b01e2ca50","ref":"refs/heads/rm_symbols","pushedAt":"2023-09-27T01:56:22.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"digama0","name":"Mario Carneiro","path":"/digama0","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/868588?s=80&v=4"},"commit":{"message":"remove install.sh from metamath-website-scripts","shortMessageHtmlLink":"remove install.sh from metamath-website-scripts"}},{"before":"a8d190f8d1dcab21c44eaa2c921bd08e14ed2037","after":"46e4345e28384c74901b5a468bad6732be3802eb","ref":"refs/heads/rm_symbols","pushedAt":"2023-09-26T21:18:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"digama0","name":"Mario Carneiro","path":"/digama0","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/868588?s=80&v=4"},"commit":{"message":"rm `mmbiblio.html` duplicated from set.mm","shortMessageHtmlLink":"rm <code>mmbiblio.html</code> duplicated from set.mm"}},{"before":"62ba1a77161fe85bca45a5bd63a9d0c4600472a8","after":"a8d190f8d1dcab21c44eaa2c921bd08e14ed2037","ref":"refs/heads/rm_symbols","pushedAt":"2023-09-26T21:01:59.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"digama0","name":"Mario Carneiro","path":"/digama0","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/868588?s=80&v=4"},"commit":{"message":"remove `metamath/` dir duplicated from metamath-exe repo","shortMessageHtmlLink":"remove <code>metamath/</code> dir duplicated from metamath-exe repo"}},{"before":"b0b14afa69cbff4f97bdd1da6ce048226f13428a","after":"62ba1a77161fe85bca45a5bd63a9d0c4600472a8","ref":"refs/heads/rm_symbols","pushedAt":"2023-09-26T20:20:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"digama0","name":"Mario Carneiro","path":"/digama0","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/868588?s=80&v=4"},"commit":{"message":"remove `symbols/`","shortMessageHtmlLink":"remove <code>symbols/</code>"}},{"before":null,"after":"b0b14afa69cbff4f97bdd1da6ce048226f13428a","ref":"refs/heads/rm_symbols","pushedAt":"2023-09-25T11:25:47.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"digama0","name":"Mario Carneiro","path":"/digama0","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/868588?s=80&v=4"},"commit":{"message":"remove symbols from https://github.com/metamath/symbols","shortMessageHtmlLink":"remove symbols from <a href=\"https://github.com/metamath/symbols\">https://github.com/metamath/symbols</a>"}},{"before":"4eb948f5ed0d480d70ba1aba6f68315d665baec3","after":"2e2845a1e5c225ebaf92f62af2361fc403c2e666","ref":"refs/heads/main","pushedAt":"2023-09-10T18:13:00.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"digama0","name":"Mario Carneiro","path":"/digama0","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/868588?s=80&v=4"},"commit":{"message":"Fix more references to contacting Norm (#17)\n\nThese are fairly minimal edits focused just on text which has an email\r\naddress or specific language around who to contact.","shortMessageHtmlLink":"Fix more references to contacting Norm (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1888849001\" data-permission-text=\"Title is private\" data-url=\"https://github.com/metamath/metamath-website-seed/issues/17\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/metamath/metamath-website-seed/pull/17/hovercard\" href=\"https://github.com/metamath/metamath-website-seed/pull/17\">#17</a>)"}},{"before":null,"after":"2bb82f29d8e2dad86bbb6e8cf918be2595543892","ref":"refs/heads/mm_lamp_videos","pushedAt":"2023-07-16T22:06:53.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"david-a-wheeler","name":"David A. Wheeler","path":"/david-a-wheeler","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/813150?s=80&v=4"},"commit":{"message":"Add hyperlink to Metamath-lamp videos\n\nSigned-off-by: David A. Wheeler <dwheeler@dwheeler.com>","shortMessageHtmlLink":"Add hyperlink to Metamath-lamp videos"}},{"before":"08f75f911b4b3608518410ebd114adac4a14c21e","after":null,"ref":"refs/heads/fix_100_url","pushedAt":"2023-07-16T21:57:02.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"david-a-wheeler","name":"David A. Wheeler","path":"/david-a-wheeler","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/813150?s=80&v=4"}},{"before":"03e881cb634d18565b16fca4bebc74b2ba8ea4ba","after":"4eb948f5ed0d480d70ba1aba6f68315d665baec3","ref":"refs/heads/main","pushedAt":"2023-07-16T21:56:59.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"david-a-wheeler","name":"David A. Wheeler","path":"/david-a-wheeler","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/813150?s=80&v=4"},"commit":{"message":"Merge pull request #11 from metamath/fix_100_url\n\nFix URL of 100 Theorem","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1806731883\" data-permission-text=\"Title is private\" data-url=\"https://github.com/metamath/metamath-website-seed/issues/11\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/metamath/metamath-website-seed/pull/11/hovercard\" href=\"https://github.com/metamath/metamath-website-seed/pull/11\">#11</a> from metamath/fix_100_url"}},{"before":null,"after":"08f75f911b4b3608518410ebd114adac4a14c21e","ref":"refs/heads/fix_100_url","pushedAt":"2023-07-16T21:55:49.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"david-a-wheeler","name":"David A. Wheeler","path":"/david-a-wheeler","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/813150?s=80&v=4"},"commit":{"message":"Fix URL of 100 Theorem\n\nSigned-off-by: David A. Wheeler <dwheeler@dwheeler.com>","shortMessageHtmlLink":"Fix URL of 100 Theorem"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAETekm-QA","startCursor":null,"endCursor":null}},"title":"Activity · metamath/metamath-website-seed"}