{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":27412456,"defaultBranch":"master","name":"redex","ownerLogin":"racket","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2014-12-02T03:06:03.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/232371?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1716068910.0","currentOid":""},"activityList":{"items":[{"before":"e918dfacdb4fc913c2b0eee74acc86f4f2216290","after":null,"ref":"refs/heads/release","pushedAt":"2024-05-18T21:48:30.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"jbclements","name":"John Clements","path":"/jbclements","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/226617?s=80&v=4"}},{"before":"69e55b556c7dcb836df9db4ad155f994b0c728b8","after":"e918dfacdb4fc913c2b0eee74acc86f4f2216290","ref":"refs/heads/release","pushedAt":"2024-05-02T11:30:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rfindler","name":"Robby Findler","path":"/rfindler","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/399024?s=80&v=4"},"commit":{"message":"remove accidentally included printf\n\n(cherry picked from commit a2bbb6edf2374bfddfd516ca75e0e173e662fb40)","shortMessageHtmlLink":"remove accidentally included printf"}},{"before":"df748d8f54744c8365e361f608ccd540ed955cc9","after":"a2bbb6edf2374bfddfd516ca75e0e173e662fb40","ref":"refs/heads/master","pushedAt":"2024-05-02T11:29:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rfindler","name":"Robby Findler","path":"/rfindler","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/399024?s=80&v=4"},"commit":{"message":"remove accidentally included printf","shortMessageHtmlLink":"remove accidentally included printf"}},{"before":null,"after":"69e55b556c7dcb836df9db4ad155f994b0c728b8","ref":"refs/heads/release","pushedAt":"2024-05-02T11:21:30.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"rfindler","name":"Robby Findler","path":"/rfindler","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/399024?s=80&v=4"},"commit":{"message":"update HISTORY for v8.13\n\n(cherry picked from commit df748d8f54744c8365e361f608ccd540ed955cc9)","shortMessageHtmlLink":"update HISTORY for v8.13"}},{"before":"61fa7b0f131af5c2e61c2219548ecf816c91e139","after":"df748d8f54744c8365e361f608ccd540ed955cc9","ref":"refs/heads/master","pushedAt":"2024-05-02T11:20:04.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"rfindler","name":"Robby Findler","path":"/rfindler","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/399024?s=80&v=4"},"commit":{"message":"update HISTORY for v8.13","shortMessageHtmlLink":"update HISTORY for v8.13"}},{"before":"7c41ec4b5559e5babb280e5a7594943d0c320d3d","after":null,"ref":"refs/heads/release","pushedAt":"2024-02-10T07:17:29.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"jbclements","name":"John Clements","path":"/jbclements","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/226617?s=80&v=4"}},{"before":"8f2c2ba489b890a190ec5ffa26bea49dac102cd5","after":"7c41ec4b5559e5babb280e5a7594943d0c320d3d","ref":"refs/heads/release","pushedAt":"2024-01-13T21:07:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rfindler","name":"Robby Findler","path":"/rfindler","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/399024?s=80&v=4"},"commit":{"message":"bring back compact-vertical-min-width to avoid breaking others' packages\n\n(cherry picked from commit 61fa7b0f131af5c2e61c2219548ecf816c91e139)","shortMessageHtmlLink":"bring back compact-vertical-min-width to avoid breaking others' packages"}},{"before":"813cb08414aa1f8819d5f3c8a6b924053b94fa4b","after":"61fa7b0f131af5c2e61c2219548ecf816c91e139","ref":"refs/heads/master","pushedAt":"2024-01-13T21:06:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rfindler","name":"Robby Findler","path":"/rfindler","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/399024?s=80&v=4"},"commit":{"message":"bring back compact-vertical-min-width to avoid breaking others' packages","shortMessageHtmlLink":"bring back compact-vertical-min-width to avoid breaking others' packages"}},{"before":null,"after":"8f2c2ba489b890a190ec5ffa26bea49dac102cd5","ref":"refs/heads/release","pushedAt":"2024-01-08T20:29:44.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"rfindler","name":"Robby Findler","path":"/rfindler","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/399024?s=80&v=4"},"commit":{"message":"update HISTORY for v8.12\n\n(cherry picked from commit 813cb08414aa1f8819d5f3c8a6b924053b94fa4b)","shortMessageHtmlLink":"update HISTORY for v8.12"}},{"before":"1b7f7b3bbb6c62edae572e80c29499542ca0ddcc","after":"813cb08414aa1f8819d5f3c8a6b924053b94fa4b","ref":"refs/heads/master","pushedAt":"2024-01-08T20:28:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rfindler","name":"Robby Findler","path":"/rfindler","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/399024?s=80&v=4"},"commit":{"message":"update HISTORY for v8.12","shortMessageHtmlLink":"update HISTORY for v8.12"}},{"before":"1744e8c7c905c99c8846b59e505f35ef80685a3f","after":"1b7f7b3bbb6c62edae572e80c29499542ca0ddcc","ref":"refs/heads/master","pushedAt":"2024-01-06T23:24:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"shhyou","name":"shuhung","path":"/shhyou","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1910898?s=80&v=4"},"commit":{"message":"cosmetic changes to redex-define","shortMessageHtmlLink":"cosmetic changes to redex-define"}},{"before":"1b7f7b3bbb6c62edae572e80c29499542ca0ddcc","after":null,"ref":"refs/heads/cosmetic","pushedAt":"2024-01-06T23:24:32.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"shhyou","name":"shuhung","path":"/shhyou","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1910898?s=80&v=4"}},{"before":null,"after":"1b7f7b3bbb6c62edae572e80c29499542ca0ddcc","ref":"refs/heads/cosmetic","pushedAt":"2024-01-06T23:16:37.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"shhyou","name":"shuhung","path":"/shhyou","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1910898?s=80&v=4"},"commit":{"message":"cosmetic changes to redex-define","shortMessageHtmlLink":"cosmetic changes to redex-define"}},{"before":"233c4a670733eeaf97b0b450568f6751bcf26e48","after":"1744e8c7c905c99c8846b59e505f35ef80685a3f","ref":"refs/heads/master","pushedAt":"2024-01-03T02:54:05.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"rfindler","name":"Robby Findler","path":"/rfindler","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/399024?s=80&v=4"},"commit":{"message":"compact-vertical-min-width was always 0 and it doesn't seem to actually work in any meaningful way, so let's get rid of it","shortMessageHtmlLink":"compact-vertical-min-width was always 0 and it doesn't seem to actual…"}},{"before":"c38859cac93b3c6f8b6ad19c9030cabaf7a36809","after":"233c4a670733eeaf97b0b450568f6751bcf26e48","ref":"refs/heads/master","pushedAt":"2023-12-31T20:31:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rfindler","name":"Robby Findler","path":"/rfindler","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/399024?s=80&v=4"},"commit":{"message":"add a note about configuring the width of side-conditions for reduction-relation","shortMessageHtmlLink":"add a note about configuring the width of side-conditions for reducti…"}},{"before":"51d3d63e15d445f5be463d3ad1e340b4a773ed5a","after":"c38859cac93b3c6f8b6ad19c9030cabaf7a36809","ref":"refs/heads/master","pushedAt":"2023-11-23T08:17:45.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"rfindler","name":"Robby Findler","path":"/rfindler","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/399024?s=80&v=4"},"commit":{"message":"docs: add missing links to bindings","shortMessageHtmlLink":"docs: add missing links to bindings"}},{"before":"ff8e84aec03784f3318c53ea8f0b6acc381fb2e5","after":null,"ref":"refs/heads/release","pushedAt":"2023-11-14T23:17:25.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"jbclements","name":"John Clements","path":"/jbclements","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/226617?s=80&v=4"}},{"before":"c11c8941f5a2fffdc9f8dd2ac7e24407b7897201","after":"51d3d63e15d445f5be463d3ad1e340b4a773ed5a","ref":"refs/heads/master","pushedAt":"2023-10-22T15:04:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rfindler","name":"Robby Findler","path":"/rfindler","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/399024?s=80&v=4"},"commit":{"message":"looks like some font spacing has changed","shortMessageHtmlLink":"looks like some font spacing has changed"}},{"before":null,"after":"ff8e84aec03784f3318c53ea8f0b6acc381fb2e5","ref":"refs/heads/release","pushedAt":"2023-10-18T13:35:47.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"rfindler","name":"Robby Findler","path":"/rfindler","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/399024?s=80&v=4"},"commit":{"message":"update HISTORY for v8.11\n\n(cherry picked from commit c11c8941f5a2fffdc9f8dd2ac7e24407b7897201)","shortMessageHtmlLink":"update HISTORY for v8.11"}},{"before":"ecc39c5aa27a0ab4d5ab9407825371529a5bce10","after":"c11c8941f5a2fffdc9f8dd2ac7e24407b7897201","ref":"refs/heads/master","pushedAt":"2023-10-18T13:34:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rfindler","name":"Robby Findler","path":"/rfindler","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/399024?s=80&v=4"},"commit":{"message":"update HISTORY for v8.11","shortMessageHtmlLink":"update HISTORY for v8.11"}},{"before":"2230ee9471d85812abaa943e77ee2aed5ce2e5b0","after":"ecc39c5aa27a0ab4d5ab9407825371529a5bce10","ref":"refs/heads/master","pushedAt":"2023-09-22T18:36:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rfindler","name":"Robby Findler","path":"/rfindler","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/399024?s=80&v=4"},"commit":{"message":"update history for redex-define","shortMessageHtmlLink":"update history for redex-define"}},{"before":"8df08b313cff72d56d3c67366065c19ec0c3f7d0","after":"2230ee9471d85812abaa943e77ee2aed5ce2e5b0","ref":"refs/heads/master","pushedAt":"2023-09-22T18:35:09.000Z","pushType":"pr_merge","commitsCount":5,"pusher":{"login":"rfindler","name":"Robby Findler","path":"/rfindler","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/399024?s=80&v=4"},"commit":{"message":"Update documentation\n\n- fix incorrect history (shouldn't have been added to redex-let*)\n- improve examples","shortMessageHtmlLink":"Update documentation"}},{"before":"7730a9aa8cb267e788ec1ff459f4bffe5d0fb03f","after":null,"ref":"refs/heads/release","pushedAt":"2023-08-16T03:51:49.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"jbclements","name":"John Clements","path":"/jbclements","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/226617?s=80&v=4"}},{"before":null,"after":"7730a9aa8cb267e788ec1ff459f4bffe5d0fb03f","ref":"refs/heads/release","pushedAt":"2023-07-13T01:51:15.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"rfindler","name":"Robby Findler","path":"/rfindler","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/399024?s=80&v=4"},"commit":{"message":"update HISTORY for v8.10\n\n(cherry picked from commit 8df08b313cff72d56d3c67366065c19ec0c3f7d0)","shortMessageHtmlLink":"update HISTORY for v8.10"}},{"before":"a2c10b068c4d2564ee6b172ffe6090242b3bfadc","after":"8df08b313cff72d56d3c67366065c19ec0c3f7d0","ref":"refs/heads/master","pushedAt":"2023-07-13T01:50:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rfindler","name":"Robby Findler","path":"/rfindler","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/399024?s=80&v=4"},"commit":{"message":"update HISTORY for v8.10","shortMessageHtmlLink":"update HISTORY for v8.10"}},{"before":"4d7eda9d914bb324b9367ac4d5dee0e5ec936b22","after":"a2c10b068c4d2564ee6b172ffe6090242b3bfadc","ref":"refs/heads/master","pushedAt":"2023-06-05T14:35:03.762Z","pushType":"push","commitsCount":1,"pusher":{"login":"rfindler","name":"Robby Findler","path":"/rfindler","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/399024?s=80&v=4"},"commit":{"message":"improve source locations in certain define-judgment-form syntax errors","shortMessageHtmlLink":"improve source locations in certain define-judgment-form syntax errors"}},{"before":"b203ca20a0a5520dc71c5ab752c40e5c1727d19d","after":null,"ref":"refs/heads/release","pushedAt":"2023-05-12T04:42:16.435Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"jbclements","name":"John Clements","path":"/jbclements","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/226617?s=80&v=4"}},{"before":"99aa65256670ecb069769bf9c41187c36473191a","after":"4d7eda9d914bb324b9367ac4d5dee0e5ec936b22","ref":"refs/heads/master","pushedAt":"2023-05-02T22:12:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rfindler","name":"Robby Findler","path":"/rfindler","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/399024?s=80&v=4"},"commit":{"message":"When restoring the canvas and reflowing all the snips, something gets\nstuck; luckily we don't need to do that, as the pasteboard is not\ngoing to be used after this, so just skip that part\n\nalso, add something that at least runs traces/ps","shortMessageHtmlLink":"When restoring the canvas and reflowing all the snips, something gets"}},{"before":"59be2afeaeda60d8fb876a067d7965fcbdb0dcb8","after":"d9a873bdc651543bea021f69755315b97c371915","ref":"refs/heads/remove-nary-lambda-from-long-tut","pushedAt":"2023-04-29T01:01:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rfindler","name":"Robby Findler","path":"/rfindler","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/399024?s=80&v=4"},"commit":{"message":"progress on tuesday morning","shortMessageHtmlLink":"progress on tuesday morning"}},{"before":"d8333a5c934b99e9f7cfb5242d2643dc695ff45b","after":"59be2afeaeda60d8fb876a067d7965fcbdb0dcb8","ref":"refs/heads/remove-nary-lambda-from-long-tut","pushedAt":"2023-04-29T00:26:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rfindler","name":"Robby Findler","path":"/rfindler","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/399024?s=80&v=4"},"commit":{"message":"update tuesday morning code","shortMessageHtmlLink":"update tuesday morning code"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAETcyoTwA","startCursor":null,"endCursor":null}},"title":"Activity · racket/redex"}