{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":587455167,"defaultBranch":"main","name":"mathlib-port-status","ownerLogin":"leanprover-community","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-01-10T19:44:18.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/41703605?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1689592241.0","currentOid":""},"activityList":{"items":[{"before":"9f023809d13d5740f55756e089bf1ad258fc5a84","after":"51bc14db93d4054d6b62ef29b3d4771dfae85e11","ref":"refs/heads/main","pushedAt":"2023-07-22T09:39:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"eric-wieser","name":"Eric Wieser","path":"/eric-wieser","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/425260?s=80&v=4"},"commit":{"message":"add completion notice","shortMessageHtmlLink":"add completion notice"}},{"before":"3c376e12e879964d07a3656f8d7007eb04181c25","after":"9f023809d13d5740f55756e089bf1ad258fc5a84","ref":"refs/heads/main","pushedAt":"2023-07-19T12:44:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"eric-wieser","name":"Eric Wieser","path":"/eric-wieser","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/425260?s=80&v=4"},"commit":{"message":"parse the new header comments","shortMessageHtmlLink":"parse the new header comments"}},{"before":"c85d33c435e29e82e791b69ea80290806cf8785e","after":"3c376e12e879964d07a3656f8d7007eb04181c25","ref":"refs/heads/main","pushedAt":"2023-07-17T11:11:55.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"eric-wieser","name":"Eric Wieser","path":"/eric-wieser","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/425260?s=80&v=4"},"commit":{"message":"Merge pull request #23 from leanprover-community/speedup\n\nSpeedup","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1807531461\" data-permission-text=\"Title is private\" data-url=\"https://github.com/leanprover-community/mathlib-port-status/issues/23\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/leanprover-community/mathlib-port-status/pull/23/hovercard\" href=\"https://github.com/leanprover-community/mathlib-port-status/pull/23\">#23</a> from leanprover-community/speedup"}},{"before":"ede72d236f810a92c7ad82f0a5ab4a259553a7da","after":"af01929dbadf808c149ad4aa8b29c027fb958122","ref":"refs/heads/speedup","pushedAt":"2023-07-17T11:11:11.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"eric-wieser","name":"Eric Wieser","path":"/eric-wieser","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/425260?s=80&v=4"},"commit":{"message":"other speedups","shortMessageHtmlLink":"other speedups"}},{"before":null,"after":"ede72d236f810a92c7ad82f0a5ab4a259553a7da","ref":"refs/heads/speedup","pushedAt":"2023-07-17T11:10:41.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"eric-wieser","name":"Eric Wieser","path":"/eric-wieser","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/425260?s=80&v=4"},"commit":{"message":"other speedups","shortMessageHtmlLink":"other speedups"}},{"before":"7e0ad74038c771bfb5544b24f3d9407650b29990","after":"c85d33c435e29e82e791b69ea80290806cf8785e","ref":"refs/heads/main","pushedAt":"2023-07-17T10:13:03.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"eric-wieser","name":"Eric Wieser","path":"/eric-wieser","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/425260?s=80&v=4"},"commit":{"message":"remove dead code","shortMessageHtmlLink":"remove dead code"}},{"before":"7218832d26ccd2a27b8d7bf5d66e48b161497f64","after":"7e0ad74038c771bfb5544b24f3d9407650b29990","ref":"refs/heads/main","pushedAt":"2023-07-17T08:40:49.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"eric-wieser","name":"Eric Wieser","path":"/eric-wieser","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/425260?s=80&v=4"},"commit":{"message":"Switch to Python 3.11 (#22)\n\n* Switch to Python 3.11\r\n\r\nMaybe this is faster?\r\n\r\n* Update .gitpod.yml","shortMessageHtmlLink":"Switch to Python 3.11 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1807275049\" data-permission-text=\"Title is private\" data-url=\"https://github.com/leanprover-community/mathlib-port-status/issues/22\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/leanprover-community/mathlib-port-status/pull/22/hovercard\" href=\"https://github.com/leanprover-community/mathlib-port-status/pull/22\">#22</a>)"}},{"before":"ec8d1d66a44d083e2015dab575f2be33c3788417","after":"3ed947f2a8fec2acc8a991875fa6c0d40642a753","ref":"refs/heads/python-3.11","pushedAt":"2023-07-17T08:40:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"eric-wieser","name":"Eric Wieser","path":"/eric-wieser","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/425260?s=80&v=4"},"commit":{"message":"Update .gitpod.yml","shortMessageHtmlLink":"Update .gitpod.yml"}},{"before":null,"after":"ec8d1d66a44d083e2015dab575f2be33c3788417","ref":"refs/heads/python-3.11","pushedAt":"2023-07-17T08:38:29.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"eric-wieser","name":"Eric Wieser","path":"/eric-wieser","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/425260?s=80&v=4"},"commit":{"message":"Switch to Python 3.11\n\nMaybe this is faster?","shortMessageHtmlLink":"Switch to Python 3.11"}},{"before":"c1a3981903d290e482abdd0e6ca91202d3d7e60c","after":"7218832d26ccd2a27b8d7bf5d66e48b161497f64","ref":"refs/heads/main","pushedAt":"2023-07-16T15:36:19.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"eric-wieser","name":"Eric Wieser","path":"/eric-wieser","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/425260?s=80&v=4"},"commit":{"message":"Include files from core (#21)\n\nWe found [some core files](https://leanprover.zulipchat.com/#narrow/stream/287929-mathlib4/topic/psigma.2Elex_wf/near/375785461) were missing on Zulip, so I think it's best to show these.","shortMessageHtmlLink":"Include files from core (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1799895220\" data-permission-text=\"Title is private\" data-url=\"https://github.com/leanprover-community/mathlib-port-status/issues/21\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/leanprover-community/mathlib-port-status/pull/21/hovercard\" href=\"https://github.com/leanprover-community/mathlib-port-status/pull/21\">#21</a>)"}},{"before":"c55371c8e0840ffd0d0512055d7253ab5546853c","after":"c1a3981903d290e482abdd0e6ca91202d3d7e60c","ref":"refs/heads/main","pushedAt":"2023-07-15T23:35:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"eric-wieser","name":"Eric Wieser","path":"/eric-wieser","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/425260?s=80&v=4"},"commit":{"message":"🎉","shortMessageHtmlLink":"🎉"}},{"before":"cb2c3351c9ce0668cfdd742d897190d3de61e3bc","after":"c55371c8e0840ffd0d0512055d7253ab5546853c","ref":"refs/heads/main","pushedAt":"2023-07-15T21:54:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"eric-wieser","name":"Eric Wieser","path":"/eric-wieser","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/425260?s=80&v=4"},"commit":{"message":"Drop system.io from the dashboard","shortMessageHtmlLink":"Drop system.io from the dashboard"}},{"before":null,"after":"f4c2e5a42e9d4519b154f0f9a1e0d8b377b5f122","ref":"refs/heads/include-lean-core","pushedAt":"2023-07-11T23:16:08.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"eric-wieser","name":"Eric Wieser","path":"/eric-wieser","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/425260?s=80&v=4"},"commit":{"message":"Include files from core","shortMessageHtmlLink":"Include files from core"}},{"before":"f41b477475fb7ed4156e2277fb09c15fb6ea5916","after":"cb2c3351c9ce0668cfdd742d897190d3de61e3bc","ref":"refs/heads/main","pushedAt":"2023-07-10T12:12:17.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"eric-wieser","name":"Eric Wieser","path":"/eric-wieser","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/425260?s=80&v=4"},"commit":{"message":"allow multiple runs in parallel (#20)","shortMessageHtmlLink":"allow multiple runs in parallel (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1796641323\" data-permission-text=\"Title is private\" data-url=\"https://github.com/leanprover-community/mathlib-port-status/issues/20\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/leanprover-community/mathlib-port-status/pull/20/hovercard\" href=\"https://github.com/leanprover-community/mathlib-port-status/pull/20\">#20</a>)"}},{"before":null,"after":"7227016dfe0f3e12d630fb27d67e41c2532341e4","ref":"refs/heads/jcommelin-patch-2","pushedAt":"2023-07-10T12:08:11.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"jcommelin","name":"Johan Commelin","path":"/jcommelin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5636705?s=80&v=4"},"commit":{"message":"allow multiple runs in parallel","shortMessageHtmlLink":"allow multiple runs in parallel"}},{"before":"079f1204a91dd87ef1fe399cef56b9d3803e7e58","after":"f41b477475fb7ed4156e2277fb09c15fb6ea5916","ref":"refs/heads/main","pushedAt":"2023-06-28T01:16:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"semorrison","name":"Kim Morrison","path":"/semorrison","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/477956?s=80&v=4"},"commit":{"message":"oops","shortMessageHtmlLink":"oops"}},{"before":"85b96b8f505add4417785268bab3bf40aa537902","after":"079f1204a91dd87ef1fe399cef56b9d3803e7e58","ref":"refs/heads/main","pushedAt":"2023-06-27T08:12:58.668Z","pushType":"push","commitsCount":1,"pusher":{"login":"semorrison","name":"Kim Morrison","path":"/semorrison","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/477956?s=80&v=4"},"commit":{"message":"exclude init.meta","shortMessageHtmlLink":"exclude init.meta"}},{"before":"54f28d7c6f3766c0d856c0dfa8c000166b142f11","after":"85b96b8f505add4417785268bab3bf40aa537902","ref":"refs/heads/main","pushedAt":"2023-06-13T22:23:54.907Z","pushType":"push","commitsCount":1,"pusher":{"login":"eric-wieser","name":"Eric Wieser","path":"/eric-wieser","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/425260?s=80&v=4"},"commit":{"message":"Fix HTML error","shortMessageHtmlLink":"Fix HTML error"}},{"before":"25e913cd9742d4ee917a513f8191837ba117c55d","after":"54f28d7c6f3766c0d856c0dfa8c000166b142f11","ref":"refs/heads/main","pushedAt":"2023-06-12T09:33:12.519Z","pushType":"push","commitsCount":1,"pusher":{"login":"eric-wieser","name":"Eric Wieser","path":"/eric-wieser","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/425260?s=80&v=4"},"commit":{"message":"Simplify porting instructions","shortMessageHtmlLink":"Simplify porting instructions"}},{"before":"1825e55644233c6941098c2c026e0264863956dc","after":"25e913cd9742d4ee917a513f8191837ba117c55d","ref":"refs/heads/main","pushedAt":"2023-05-28T08:12:35.123Z","pushType":"push","commitsCount":1,"pusher":{"login":"eric-wieser","name":"Eric Wieser","path":"/eric-wieser","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/425260?s=80&v=4"},"commit":{"message":"Fix sort order on index page","shortMessageHtmlLink":"Fix sort order on index page"}},{"before":"eac0df7fb8b13fd226c7c3b7dfba7e7b89403fee","after":"1825e55644233c6941098c2c026e0264863956dc","ref":"refs/heads/main","pushedAt":"2023-05-25T15:42:31.623Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"eric-wieser","name":"Eric Wieser","path":"/eric-wieser","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/425260?s=80&v=4"},"commit":{"message":"Show archive entries and counterexamples (#18)\n\nThis also adds support for:\r\n\r\n* Parsing relative imports\r\n* Not parsing thing that look like imports, but aren't, in header comments\r\n\r\nFor now, this doesn't really expect the port status wiki to display information about the archive and counterexample files; but it does include them in the dependency counts.","shortMessageHtmlLink":"Show archive entries and counterexamples (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1724862863\" data-permission-text=\"Title is private\" data-url=\"https://github.com/leanprover-community/mathlib-port-status/issues/18\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/leanprover-community/mathlib-port-status/pull/18/hovercard\" href=\"https://github.com/leanprover-community/mathlib-port-status/pull/18\">#18</a>)"}},{"before":"0b3270ea664c8877667178dac6a055d6b8ef84a8","after":"3deae44c1f40c3128b03b75659ad35228e005a5c","ref":"refs/heads/archive-counterexample","pushedAt":"2023-05-25T15:35:44.729Z","pushType":"push","commitsCount":1,"pusher":{"login":"eric-wieser","name":"Eric Wieser","path":"/eric-wieser","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/425260?s=80&v=4"},"commit":{"message":"fix progress bar","shortMessageHtmlLink":"fix progress bar"}},{"before":"a6f1b80b60a7ede82049e79dbced30aee30f65db","after":"0b3270ea664c8877667178dac6a055d6b8ef84a8","ref":"refs/heads/archive-counterexample","pushedAt":"2023-05-25T15:33:43.688Z","pushType":"push","commitsCount":1,"pusher":{"login":"eric-wieser","name":"Eric Wieser","path":"/eric-wieser","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/425260?s=80&v=4"},"commit":{"message":"show project names","shortMessageHtmlLink":"show project names"}},{"before":"852b903271e0e3bde02dff7cccc11fcf33b8d486","after":"a6f1b80b60a7ede82049e79dbced30aee30f65db","ref":"refs/heads/archive-counterexample","pushedAt":"2023-05-25T14:39:24.469Z","pushType":"push","commitsCount":4,"pusher":{"login":"eric-wieser","name":"Eric Wieser","path":"/eric-wieser","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/425260?s=80&v=4"},"commit":{"message":"working","shortMessageHtmlLink":"working"}},{"before":"c9ff353f8b239dd5a01af15e3f5803830a639022","after":"eac0df7fb8b13fd226c7c3b7dfba7e7b89403fee","ref":"refs/heads/main","pushedAt":"2023-05-25T07:15:48.936Z","pushType":"push","commitsCount":1,"pusher":{"login":"eric-wieser","name":"Eric Wieser","path":"/eric-wieser","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/425260?s=80&v=4"},"commit":{"message":"Attempt to fix the graphs again","shortMessageHtmlLink":"Attempt to fix the graphs again"}},{"before":"fe23ce190f8054edb767dfd134a8dd500cedb380","after":"852b903271e0e3bde02dff7cccc11fcf33b8d486","ref":"refs/heads/archive-counterexample","pushedAt":"2023-05-25T00:00:48.893Z","pushType":"push","commitsCount":3,"pusher":{"login":"eric-wieser","name":"Eric Wieser","path":"/eric-wieser","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/425260?s=80&v=4"},"commit":{"message":"wip","shortMessageHtmlLink":"wip"}},{"before":"3f37cfab94fd88fb2044c5cec9eea462f79f54ee","after":"c9ff353f8b239dd5a01af15e3f5803830a639022","ref":"refs/heads/main","pushedAt":"2023-05-24T23:46:32.368Z","pushType":"push","commitsCount":1,"pusher":{"login":"eric-wieser","name":"Eric Wieser","path":"/eric-wieser","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/425260?s=80&v=4"},"commit":{"message":"fix graphs","shortMessageHtmlLink":"fix graphs"}},{"before":"0c08608b10e6455b40472a638d7389489218564a","after":"fe23ce190f8054edb767dfd134a8dd500cedb380","ref":"refs/heads/archive-counterexample","pushedAt":"2023-05-24T23:44:16.406Z","pushType":"push","commitsCount":1,"pusher":{"login":"eric-wieser","name":"Eric Wieser","path":"/eric-wieser","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/425260?s=80&v=4"},"commit":{"message":"wip","shortMessageHtmlLink":"wip"}},{"before":null,"after":"0c08608b10e6455b40472a638d7389489218564a","ref":"refs/heads/archive-counterexample","pushedAt":"2023-05-24T23:28:32.280Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"eric-wieser","name":"Eric Wieser","path":"/eric-wieser","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/425260?s=80&v=4"},"commit":{"message":"line counts and dependencie are failing","shortMessageHtmlLink":"line counts and dependencie are failing"}},{"before":"88932b481820b518a0a5779703d1cf40141f27f2","after":"3f37cfab94fd88fb2044c5cec9eea462f79f54ee","ref":"refs/heads/main","pushedAt":"2023-05-24T23:08:28.689Z","pushType":"push","commitsCount":1,"pusher":{"login":"eric-wieser","name":"Eric Wieser","path":"/eric-wieser","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/425260?s=80&v=4"},"commit":{"message":"Attempt to fix file history pages","shortMessageHtmlLink":"Attempt to fix file history pages"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADWuHvkAA","startCursor":null,"endCursor":null}},"title":"Activity · leanprover-community/mathlib-port-status"}