{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":680453196,"defaultBranch":"master","name":"loogle","ownerLogin":"nomeata","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-08-19T09:38:12.000Z","ownerAvatar":"https://github.com/avatars/u/148037?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1707341660.0","currentOid":""},"activityList":{"items":[{"before":"ea3e51bd2452f760c97e55c887a716899d4d19e5","after":"7eaed1d5ef13b7c81d71fa1f0116c93c83cc0b0c","ref":"refs/heads/master","pushedAt":"2024-08-11T18:26:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nomeata","name":"Joachim Breitner","path":"/nomeata","primaryAvatarUrl":"https://github.com/avatars/u/148037?s=80&v=4"},"commit":{"message":"Try disabling spellcheck on input","shortMessageHtmlLink":"Try disabling spellcheck on input"}},{"before":"16049a3a8db4744497971afc3d5cdba385e5f351","after":"ea3e51bd2452f760c97e55c887a716899d4d19e5","ref":"refs/heads/master","pushedAt":"2024-07-25T15:50:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nomeata","name":"Joachim Breitner","path":"/nomeata","primaryAvatarUrl":"https://github.com/avatars/u/148037?s=80&v=4"},"commit":{"message":"Remove NixOS setup","shortMessageHtmlLink":"Remove NixOS setup"}},{"before":"e0447ffabecf5ff3eff6b2cea6a81346abadbec1","after":"16049a3a8db4744497971afc3d5cdba385e5f351","ref":"refs/heads/master","pushedAt":"2024-07-24T07:26:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nomeata","name":"Joachim Breitner","path":"/nomeata","primaryAvatarUrl":"https://github.com/avatars/u/148037?s=80&v=4"},"commit":{"message":"Prune search earlier using `getUsedConstantsAsSet`\n\nspeeds up `_ * (_ ^ _)` from 7.7 to 3.7s on my machine.","shortMessageHtmlLink":"Prune search earlier using getUsedConstantsAsSet"}},{"before":"559e34049384496a91eac916ff93eadc533119cc","after":"e0447ffabecf5ff3eff6b2cea6a81346abadbec1","ref":"refs/heads/master","pushedAt":"2024-07-23T15:05:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nomeata","name":"Joachim Breitner","path":"/nomeata","primaryAvatarUrl":"https://github.com/avatars/u/148037?s=80&v=4"},"commit":{"message":"No longer claim credit for hosting this","shortMessageHtmlLink":"No longer claim credit for hosting this"}},{"before":"19e56a982243aff95008edbc1586966db8350e9f","after":"559e34049384496a91eac916ff93eadc533119cc","ref":"refs/heads/master","pushedAt":"2024-07-23T14:47:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nomeata","name":"Joachim Breitner","path":"/nomeata","primaryAvatarUrl":"https://github.com/avatars/u/148037?s=80&v=4"},"commit":{"message":"More relative links","shortMessageHtmlLink":"More relative links"}},{"before":"e073433525d9945c3a04a421a4618d0c4423ae59","after":"19e56a982243aff95008edbc1586966db8350e9f","ref":"refs/heads/master","pushedAt":"2024-07-23T14:45:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nomeata","name":"Joachim Breitner","path":"/nomeata","primaryAvatarUrl":"https://github.com/avatars/u/148037?s=80&v=4"},"commit":{"message":"Use relative links for easier embedding of loogle in a subdirectory","shortMessageHtmlLink":"Use relative links for easier embedding of loogle in a subdirectory"}},{"before":"cd7982fc9ded4ab33804277857b52c7aeb085da8","after":"e073433525d9945c3a04a421a4618d0c4423ae59","ref":"refs/heads/master","pushedAt":"2024-07-23T14:33:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nomeata","name":"Joachim Breitner","path":"/nomeata","primaryAvatarUrl":"https://github.com/avatars/u/148037?s=80&v=4"},"commit":{"message":"Switch internal port to 8088","shortMessageHtmlLink":"Switch internal port to 8088"}},{"before":"36c07149f33f122a5498369409eafe8c8e7f514b","after":"cd7982fc9ded4ab33804277857b52c7aeb085da8","ref":"refs/heads/master","pushedAt":"2024-07-23T13:31:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nomeata","name":"Joachim Breitner","path":"/nomeata","primaryAvatarUrl":"https://github.com/avatars/u/148037?s=80&v=4"},"commit":{"message":"Extract `atomic.sh` script","shortMessageHtmlLink":"Extract atomic.sh script"}},{"before":"ebafe0c213faa28d8c6ccfab38ee8b93ef8d760b","after":"36c07149f33f122a5498369409eafe8c8e7f514b","ref":"refs/heads/master","pushedAt":"2024-07-23T08:17:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nomeata","name":"Joachim Breitner","path":"/nomeata","primaryAvatarUrl":"https://github.com/avatars/u/148037?s=80&v=4"},"commit":{"message":"Disable cache check","shortMessageHtmlLink":"Disable cache check"}},{"before":"f3d18e6056e0963a53a02ba7a6ac63a0c445136a","after":"ebafe0c213faa28d8c6ccfab38ee8b93ef8d760b","ref":"refs/heads/master","pushedAt":"2024-07-15T14:53:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nomeata","name":"Joachim Breitner","path":"/nomeata","primaryAvatarUrl":"https://github.com/avatars/u/148037?s=80&v=4"},"commit":{"message":"Seccomp: also allow fstat","shortMessageHtmlLink":"Seccomp: also allow fstat"}},{"before":"1aadbbabc831f5ba5763cfbe5af658cc824e96aa","after":"f3d18e6056e0963a53a02ba7a6ac63a0c445136a","ref":"refs/heads/master","pushedAt":"2024-07-15T13:27:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nomeata","name":"Joachim Breitner","path":"/nomeata","primaryAvatarUrl":"https://github.com/avatars/u/148037?s=80&v=4"},"commit":{"message":"Avoid Lake.inputFile","shortMessageHtmlLink":"Avoid Lake.inputFile"}},{"before":"fcc2c2c7ef12039d774a89f4bfb59483243f45b6","after":"1aadbbabc831f5ba5763cfbe5af658cc824e96aa","ref":"refs/heads/master","pushedAt":"2024-07-15T13:21:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nomeata","name":"Joachim Breitner","path":"/nomeata","primaryAvatarUrl":"https://github.com/avatars/u/148037?s=80&v=4"},"commit":{"message":"Bump mathlib","shortMessageHtmlLink":"Bump mathlib"}},{"before":"cd8680514b046e71b79183bf3c64de3350cd0c10","after":"fcc2c2c7ef12039d774a89f4bfb59483243f45b6","ref":"refs/heads/master","pushedAt":"2024-07-05T09:15:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nomeata","name":"Joachim Breitner","path":"/nomeata","primaryAvatarUrl":"https://github.com/avatars/u/148037?s=80&v=4"},"commit":{"message":"Elif, not if","shortMessageHtmlLink":"Elif, not if"}},{"before":"790c5dd92b560d9bad82b1109d24a271a9dce26b","after":"cd8680514b046e71b79183bf3c64de3350cd0c10","ref":"refs/heads/master","pushedAt":"2024-07-01T19:47:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nomeata","name":"Joachim Breitner","path":"/nomeata","primaryAvatarUrl":"https://github.com/avatars/u/148037?s=80&v=4"},"commit":{"message":"Update to 24.05","shortMessageHtmlLink":"Update to 24.05"}},{"before":"7a57c3ebb7069f659fee729aec54b39896c1f5da","after":"790c5dd92b560d9bad82b1109d24a271a9dce26b","ref":"refs/heads/master","pushedAt":"2024-07-01T19:36:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nomeata","name":"Joachim Breitner","path":"/nomeata","primaryAvatarUrl":"https://github.com/avatars/u/148037?s=80&v=4"},"commit":{"message":"update nixpkgs (sshd advisory)","shortMessageHtmlLink":"update nixpkgs (sshd advisory)"}},{"before":"38779bdfa8850425cbc96a116215d6d3af947b88","after":"7a57c3ebb7069f659fee729aec54b39896c1f5da","ref":"refs/heads/master","pushedAt":"2024-06-21T15:05:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nomeata","name":"Joachim Breitner","path":"/nomeata","primaryAvatarUrl":"https://github.com/avatars/u/148037?s=80&v=4"},"commit":{"message":"React to CORS OPTIONS request, allow X-Loogle-Client","shortMessageHtmlLink":"React to CORS OPTIONS request, allow X-Loogle-Client"}},{"before":"834ec428375dbb4529069e7d59c62b80f7418fdf","after":"38779bdfa8850425cbc96a116215d6d3af947b88","ref":"refs/heads/master","pushedAt":"2024-06-21T14:45:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nomeata","name":"Joachim Breitner","path":"/nomeata","primaryAvatarUrl":"https://github.com/avatars/u/148037?s=80&v=4"},"commit":{"message":"Try to set Access-Control-Allow-Headers","shortMessageHtmlLink":"Try to set Access-Control-Allow-Headers"}},{"before":"e3ebbda2d6aba0076f035d472ed32da2ec95256e","after":"834ec428375dbb4529069e7d59c62b80f7418fdf","ref":"refs/heads/master","pushedAt":"2024-06-21T14:32:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nomeata","name":"Joachim Breitner","path":"/nomeata","primaryAvatarUrl":"https://github.com/avatars/u/148037?s=80&v=4"},"commit":{"message":"Improve blurb","shortMessageHtmlLink":"Improve blurb"}},{"before":"1f92de6ddf559e07ee37a8a65a42cd18ccd2648b","after":"e3ebbda2d6aba0076f035d472ed32da2ec95256e","ref":"refs/heads/master","pushedAt":"2024-06-21T09:48:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nomeata","name":"Joachim Breitner","path":"/nomeata","primaryAvatarUrl":"https://github.com/avatars/u/148037?s=80&v=4"},"commit":{"message":"Use unicode-input component\n\nfetched from a CDN with `integrity` tags set. Let's hope that doesn't\nbreak often. H'T to @mhuisi for the component and helping with the\nintegration.","shortMessageHtmlLink":"Use unicode-input component"}},{"before":"5faf10c5a55c01b1b55585fe44311414df5af3c4","after":"1f92de6ddf559e07ee37a8a65a42cd18ccd2648b","ref":"refs/heads/master","pushedAt":"2024-06-21T07:47:24.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"nomeata","name":"Joachim Breitner","path":"/nomeata","primaryAvatarUrl":"https://github.com/avatars/u/148037?s=80&v=4"},"commit":{"message":"Bump mathlib","shortMessageHtmlLink":"Bump mathlib"}},{"before":"387ab85308ce817bb95cc99730025eb44cb8a9ab","after":"5faf10c5a55c01b1b55585fe44311414df5af3c4","ref":"refs/heads/master","pushedAt":"2024-06-07T21:40:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nomeata","name":"Joachim Breitner","path":"/nomeata","primaryAvatarUrl":"https://github.com/avatars/u/148037?s=80&v=4"},"commit":{"message":"Adjust to 4.9.0-rc1","shortMessageHtmlLink":"Adjust to 4.9.0-rc1"}},{"before":"cdc6db363f273493a3e47733242c8a1fa1f439a7","after":"387ab85308ce817bb95cc99730025eb44cb8a9ab","ref":"refs/heads/master","pushedAt":"2024-06-06T15:14:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nomeata","name":"Joachim Breitner","path":"/nomeata","primaryAvatarUrl":"https://github.com/avatars/u/148037?s=80&v=4"},"commit":{"message":"No empty suggestions array in result","shortMessageHtmlLink":"No empty suggestions array in result"}},{"before":"fbd434743cf8842d830eade073e493b9948145d8","after":"cdc6db363f273493a3e47733242c8a1fa1f439a7","ref":"refs/heads/master","pushedAt":"2024-06-06T12:42:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nomeata","name":"Joachim Breitner","path":"/nomeata","primaryAvatarUrl":"https://github.com/avatars/u/148037?s=80&v=4"},"commit":{"message":"Typo","shortMessageHtmlLink":"Typo"}},{"before":"50b6f79a1bfbcf2ad0e23f7b86affdd80f82b051","after":"fbd434743cf8842d830eade073e493b9948145d8","ref":"refs/heads/master","pushedAt":"2024-06-06T12:30:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nomeata","name":"Joachim Breitner","path":"/nomeata","primaryAvatarUrl":"https://github.com/avatars/u/148037?s=80&v=4"},"commit":{"message":"Adjust to https://github.com/leanprovercommunity/batteries/pull/823","shortMessageHtmlLink":"Adjust to https://github.com/leanprovercommunity/batteries/pull/823"}},{"before":"fa2ddf5771cc25b0d6e552ef63b51a68351e437f","after":"50b6f79a1bfbcf2ad0e23f7b86affdd80f82b051","ref":"refs/heads/master","pushedAt":"2024-06-06T12:13:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nomeata","name":"Joachim Breitner","path":"/nomeata","primaryAvatarUrl":"https://github.com/avatars/u/148037?s=80&v=4"},"commit":{"message":"Set CORS headers","shortMessageHtmlLink":"Set CORS headers"}},{"before":"4dd805148500413ddc4484c1c108902fe0a39d4a","after":"fa2ddf5771cc25b0d6e552ef63b51a68351e437f","ref":"refs/heads/master","pushedAt":"2024-05-07T07:39:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nomeata","name":"Joachim Breitner","path":"/nomeata","primaryAvatarUrl":"https://github.com/avatars/u/148037?s=80&v=4"},"commit":{"message":"std→batteries","shortMessageHtmlLink":"std→batteries"}},{"before":"c4afcb6b2fccd16f61659abc9c173b25e775e396","after":"4dd805148500413ddc4484c1c108902fe0a39d4a","ref":"refs/heads/master","pushedAt":"2024-05-03T09:52:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nomeata","name":"Joachim Breitner","path":"/nomeata","primaryAvatarUrl":"https://github.com/avatars/u/148037?s=80&v=4"},"commit":{"message":"Adjust lakefile","shortMessageHtmlLink":"Adjust lakefile"}},{"before":"34713b27a0cab653313288397c5f0efb6b2061b0","after":"c4afcb6b2fccd16f61659abc9c173b25e775e396","ref":"refs/heads/master","pushedAt":"2024-05-03T09:41:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nomeata","name":"Joachim Breitner","path":"/nomeata","primaryAvatarUrl":"https://github.com/avatars/u/148037?s=80&v=4"},"commit":{"message":"Bump mathlib","shortMessageHtmlLink":"Bump mathlib"}},{"before":"b54807aa3a902226db04531fa9ab32ae10438901","after":"a600524467674366dfb5936890e5e2c89a404504","ref":"refs/heads/garnix","pushedAt":"2024-04-13T11:56:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nomeata","name":"Joachim Breitner","path":"/nomeata","primaryAvatarUrl":"https://github.com/avatars/u/148037?s=80&v=4"},"commit":{"message":"Update garnix.yaml","shortMessageHtmlLink":"Update garnix.yaml"}},{"before":"f76710fe87e42379bb01aae71cd67edd7a3c866a","after":"b54807aa3a902226db04531fa9ab32ae10438901","ref":"refs/heads/garnix","pushedAt":"2024-04-13T11:55:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nomeata","name":"Joachim Breitner","path":"/nomeata","primaryAvatarUrl":"https://github.com/avatars/u/148037?s=80&v=4"},"commit":{"message":"Take down server","shortMessageHtmlLink":"Take down server"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEl4DNJgA","startCursor":null,"endCursor":null}},"title":"Activity · nomeata/loogle"}