{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":680636343,"defaultBranch":"main","name":"socket.lean","ownerLogin":"hargoniX","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-08-19T22:19:59.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/33270164?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1721146152.0","currentOid":""},"activityList":{"items":[{"before":"60db0ed69225ee5a8e4aa74717e9963a6eecd910","after":"b5e4c863a1462487da12e85a6b1e7cd2d38f9f15","ref":"refs/heads/main","pushedAt":"2024-07-16T16:11:18.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"hargoniX","name":"Henrik Böving","path":"/hargoniX","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33270164?s=80&v=4"},"commit":{"message":"chore: upgrade toolchain","shortMessageHtmlLink":"chore: upgrade toolchain"}},{"before":null,"after":"4a6479158140f3765a7a74319e325eb8eb4eedd1","ref":"refs/heads/bump-alloy","pushedAt":"2024-07-16T16:09:12.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"hargoniX","name":"Henrik Böving","path":"/hargoniX","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33270164?s=80&v=4"},"commit":{"message":"chore: upgrade toolchain","shortMessageHtmlLink":"chore: upgrade toolchain"}},{"before":"d33b8cccc8c9976a9cd9ba830ac72f48afbf14c2","after":"60db0ed69225ee5a8e4aa74717e9963a6eecd910","ref":"refs/heads/main","pushedAt":"2024-07-11T07:18:58.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"hargoniX","name":"Henrik Böving","path":"/hargoniX","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33270164?s=80&v=4"},"commit":{"message":"feat: add fromFd API","shortMessageHtmlLink":"feat: add fromFd API"}},{"before":"e99085e8393f2937b0a78390a81b7e23ce90eb54","after":"d33b8cccc8c9976a9cd9ba830ac72f48afbf14c2","ref":"refs/heads/main","pushedAt":"2024-05-12T21:29:19.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"hargoniX","name":"Henrik Böving","path":"/hargoniX","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33270164?s=80&v=4"},"commit":{"message":"fix: forgot to correctly marshal/unmarshal SockFamily","shortMessageHtmlLink":"fix: forgot to correctly marshal/unmarshal SockFamily"}},{"before":null,"after":"bada49b86d6ad3f1e0847c9e1d055f586c03e81d","ref":"refs/heads/family-marshal","pushedAt":"2024-05-12T21:26:47.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"hargoniX","name":"Henrik Böving","path":"/hargoniX","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33270164?s=80&v=4"},"commit":{"message":"fix: forgot to correctly marshal/unmarshal SockFamily","shortMessageHtmlLink":"fix: forgot to correctly marshal/unmarshal SockFamily"}},{"before":"2c57d8fd56eb5db7937a6243be71836aa338f715","after":"e99085e8393f2937b0a78390a81b7e23ce90eb54","ref":"refs/heads/main","pushedAt":"2024-05-12T20:43:22.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"hargoniX","name":"Henrik Böving","path":"/hargoniX","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33270164?s=80&v=4"},"commit":{"message":"fix typo in Socket.lean","shortMessageHtmlLink":"fix typo in Socket.lean"}},{"before":"18cb960eb0374a9698bead8fcf48bd56d77b3b4c","after":"2c57d8fd56eb5db7937a6243be71836aa338f715","ref":"refs/heads/main","pushedAt":"2024-05-06T07:24:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hargoniX","name":"Henrik Böving","path":"/hargoniX","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33270164?s=80&v=4"},"commit":{"message":"chore: update toolchain","shortMessageHtmlLink":"chore: update toolchain"}},{"before":"373f13f75e06e8e3e4bc806bbeca043fe37d4b3d","after":"18cb960eb0374a9698bead8fcf48bd56d77b3b4c","ref":"refs/heads/main","pushedAt":"2024-03-19T13:16:49.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"hargoniX","name":"Henrik Böving","path":"/hargoniX","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33270164?s=80&v=4"},"commit":{"message":"refactor: simplify code w/ new alloy features","shortMessageHtmlLink":"refactor: simplify code w/ new alloy features"}},{"before":"add39f26fa6c7632d144b01715fb55f14fd39cdd","after":"373f13f75e06e8e3e4bc806bbeca043fe37d4b3d","ref":"refs/heads/main","pushedAt":"2024-03-10T21:01:21.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"hargoniX","name":"Henrik Böving","path":"/hargoniX","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33270164?s=80&v=4"},"commit":{"message":"feat: add unsafe getFd API","shortMessageHtmlLink":"feat: add unsafe getFd API"}},{"before":null,"after":"5bfca2c41fb35b146926416c0f301cfd168fa300","ref":"refs/heads/getFd","pushedAt":"2024-03-10T20:59:32.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"hargoniX","name":"Henrik Böving","path":"/hargoniX","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33270164?s=80&v=4"},"commit":{"message":"feat: add unsafe getFd API","shortMessageHtmlLink":"feat: add unsafe getFd API"}},{"before":"11edffd3bf96ebe9d21f53ddf2d94392cf0ef426","after":"add39f26fa6c7632d144b01715fb55f14fd39cdd","ref":"refs/heads/main","pushedAt":"2024-03-10T20:30:11.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"hargoniX","name":"Henrik Böving","path":"/hargoniX","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33270164?s=80&v=4"},"commit":{"message":"Merge pull request #8 from hargoniX/close-safe\n\nfeat: make closing a socket a safe API","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2177889611\" data-permission-text=\"Title is private\" data-url=\"https://github.com/hargoniX/socket.lean/issues/8\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/hargoniX/socket.lean/pull/8/hovercard\" href=\"https://github.com/hargoniX/socket.lean/pull/8\">#8</a> from hargoniX/close-safe"}},{"before":null,"after":"4df7a9b07a7d5e3fce3fd778723f7d34158ce91b","ref":"refs/heads/close-safe","pushedAt":"2024-03-10T20:22:54.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"hargoniX","name":"Henrik Böving","path":"/hargoniX","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33270164?s=80&v=4"},"commit":{"message":"feat: make closing a socket a safe API","shortMessageHtmlLink":"feat: make closing a socket a safe API"}},{"before":"8e036b3c9460b433eaff28beefccbc6d8e3245b8","after":"11edffd3bf96ebe9d21f53ddf2d94392cf0ef426","ref":"refs/heads/main","pushedAt":"2024-03-10T20:00:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hargoniX","name":"Henrik Böving","path":"/hargoniX","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33270164?s=80&v=4"},"commit":{"message":"chore: update toolchain","shortMessageHtmlLink":"chore: update toolchain"}},{"before":"cf40f33eb09fd2bd9cd895551306b95bc17bcc67","after":"8e036b3c9460b433eaff28beefccbc6d8e3245b8","ref":"refs/heads/main","pushedAt":"2024-02-15T11:33:31.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"hargoniX","name":"Henrik Böving","path":"/hargoniX","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33270164?s=80&v=4"},"commit":{"message":"Merge pull request #6 from SimonDaniel21/main\n\nversion bump to lean4:v4.6.0-rc1","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2135802927\" data-permission-text=\"Title is private\" data-url=\"https://github.com/hargoniX/socket.lean/issues/6\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/hargoniX/socket.lean/pull/6/hovercard\" href=\"https://github.com/hargoniX/socket.lean/pull/6\">#6</a> from SimonDaniel21/main"}},{"before":"2595c7c5c865638986b08aa5e3b9f6a371a9437c","after":"cf40f33eb09fd2bd9cd895551306b95bc17bcc67","ref":"refs/heads/main","pushedAt":"2024-02-03T22:58:29.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"hargoniX","name":"Henrik Böving","path":"/hargoniX","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33270164?s=80&v=4"},"commit":{"message":"Merge pull request #5 from ttuegel/accept-init-addrlen\n\naccept: Initialize addrlen with size of sockaddr struct","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2113490255\" data-permission-text=\"Title is private\" data-url=\"https://github.com/hargoniX/socket.lean/issues/5\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/hargoniX/socket.lean/pull/5/hovercard\" href=\"https://github.com/hargoniX/socket.lean/pull/5\">#5</a> from ttuegel/accept-init-addrlen"}},{"before":"a07198ef51060d9154b196a355fa54fc14c4cd51","after":"2595c7c5c865638986b08aa5e3b9f6a371a9437c","ref":"refs/heads/main","pushedAt":"2024-01-22T10:48:13.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"hargoniX","name":"Henrik Böving","path":"/hargoniX","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33270164?s=80&v=4"},"commit":{"message":"Merge pull request #4 from eviefp/feature/unix\n\nfeature: make unix sockets work","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2085208505\" data-permission-text=\"Title is private\" data-url=\"https://github.com/hargoniX/socket.lean/issues/4\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/hargoniX/socket.lean/pull/4/hovercard\" href=\"https://github.com/hargoniX/socket.lean/pull/4\">#4</a> from eviefp/feature/unix"}},{"before":"a37a9d6c9a0bee2112b888afb237515759100a39","after":"a07198ef51060d9154b196a355fa54fc14c4cd51","ref":"refs/heads/main","pushedAt":"2024-01-16T12:30:21.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"hargoniX","name":"Henrik Böving","path":"/hargoniX","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33270164?s=80&v=4"},"commit":{"message":"Merge pull request #3 from JamesGallicchio/bump-deps\n\nchore: update deps","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2083053080\" data-permission-text=\"Title is private\" data-url=\"https://github.com/hargoniX/socket.lean/issues/3\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/hargoniX/socket.lean/pull/3/hovercard\" href=\"https://github.com/hargoniX/socket.lean/pull/3\">#3</a> from JamesGallicchio/bump-deps"}},{"before":"dda1ad4007761c1c26b915f367c23ab22197d62e","after":"a37a9d6c9a0bee2112b888afb237515759100a39","ref":"refs/heads/main","pushedAt":"2023-11-22T23:52:48.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"hargoniX","name":"Henrik Böving","path":"/hargoniX","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33270164?s=80&v=4"},"commit":{"message":"Merge pull request #2 from eviefp/main\n\nupdate alloy and syntax","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2005359427\" data-permission-text=\"Title is private\" data-url=\"https://github.com/hargoniX/socket.lean/issues/2\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/hargoniX/socket.lean/pull/2/hovercard\" href=\"https://github.com/hargoniX/socket.lean/pull/2\">#2</a> from eviefp/main"}},{"before":"62a660141aadadfe64f980a29a842428cb60a65f","after":"dda1ad4007761c1c26b915f367c23ab22197d62e","ref":"refs/heads/main","pushedAt":"2023-09-03T22:31:16.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"hargoniX","name":"Henrik Böving","path":"/hargoniX","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33270164?s=80&v=4"},"commit":{"message":"Merge pull request #1 from tydeu/alloy-bump\n\nchore: update to latest Alloy","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1878911543\" data-permission-text=\"Title is private\" data-url=\"https://github.com/hargoniX/socket.lean/issues/1\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/hargoniX/socket.lean/pull/1/hovercard\" href=\"https://github.com/hargoniX/socket.lean/pull/1\">#1</a> from tydeu/alloy-bump"}},{"before":"dab43af55b37cb007cc4f5f6cc5a52943ecf1931","after":"62a660141aadadfe64f980a29a842428cb60a65f","ref":"refs/heads/main","pushedAt":"2023-08-24T17:22:20.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"hargoniX","name":"Henrik Böving","path":"/hargoniX","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33270164?s=80&v=4"},"commit":{"message":"feat: nonblocking option","shortMessageHtmlLink":"feat: nonblocking option"}},{"before":"d2ae6ecee4707f27f6f62d7465dd7bc40b35cb1b","after":"dab43af55b37cb007cc4f5f6cc5a52943ecf1931","ref":"refs/heads/main","pushedAt":"2023-08-24T15:33:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hargoniX","name":"Henrik Böving","path":"/hargoniX","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33270164?s=80&v=4"},"commit":{"message":"feat: nonblocking option","shortMessageHtmlLink":"feat: nonblocking option"}},{"before":"84105257e127089eac7afbd42bee30147dc76202","after":"d2ae6ecee4707f27f6f62d7465dd7bc40b35cb1b","ref":"refs/heads/main","pushedAt":"2023-08-24T15:17:07.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"hargoniX","name":"Henrik Böving","path":"/hargoniX","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33270164?s=80&v=4"},"commit":{"message":"feat: Windows support\n\nHowever linkers plague society","shortMessageHtmlLink":"feat: Windows support"}},{"before":"42612d916bddf50c206201e07354f2c1bcdebf11","after":"84105257e127089eac7afbd42bee30147dc76202","ref":"refs/heads/main","pushedAt":"2023-08-23T00:19:42.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"hargoniX","name":"Henrik Böving","path":"/hargoniX","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33270164?s=80&v=4"},"commit":{"message":"feat: Windows support","shortMessageHtmlLink":"feat: Windows support"}},{"before":"2a62c58d79a4f1776cab61dfa00c78829ac04586","after":"42612d916bddf50c206201e07354f2c1bcdebf11","ref":"refs/heads/main","pushedAt":"2023-08-23T00:04:39.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"hargoniX","name":"Henrik Böving","path":"/hargoniX","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33270164?s=80&v=4"},"commit":{"message":"feat: Windows support","shortMessageHtmlLink":"feat: Windows support"}},{"before":"9b2aeb14bf3d7471e0c7b0efc1641dd4e1b7c038","after":"2a62c58d79a4f1776cab61dfa00c78829ac04586","ref":"refs/heads/main","pushedAt":"2023-08-22T23:55:51.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"hargoniX","name":"Henrik Böving","path":"/hargoniX","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33270164?s=80&v=4"},"commit":{"message":"feat: Windows support","shortMessageHtmlLink":"feat: Windows support"}},{"before":"a0f47c0e4ea1808d235da4fc450ad862931be01e","after":"9b2aeb14bf3d7471e0c7b0efc1641dd4e1b7c038","ref":"refs/heads/main","pushedAt":"2023-08-22T23:52:59.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"hargoniX","name":"Henrik Böving","path":"/hargoniX","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33270164?s=80&v=4"},"commit":{"message":"feat: Windows support","shortMessageHtmlLink":"feat: Windows support"}},{"before":"ba4fb039c8ee97b8c3733bccb03bd232cfae5515","after":"a0f47c0e4ea1808d235da4fc450ad862931be01e","ref":"refs/heads/main","pushedAt":"2023-08-22T23:47:23.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"hargoniX","name":"Henrik Böving","path":"/hargoniX","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33270164?s=80&v=4"},"commit":{"message":"feat: Windows support","shortMessageHtmlLink":"feat: Windows support"}},{"before":"b96057b9f5617a013503dda5d57ec3ee56e80ccf","after":"ba4fb039c8ee97b8c3733bccb03bd232cfae5515","ref":"refs/heads/main","pushedAt":"2023-08-22T23:44:19.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"hargoniX","name":"Henrik Böving","path":"/hargoniX","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33270164?s=80&v=4"},"commit":{"message":"feat: Windows support","shortMessageHtmlLink":"feat: Windows support"}},{"before":"c58d2d99dad42fc2289984d9100237e11348bce8","after":"b96057b9f5617a013503dda5d57ec3ee56e80ccf","ref":"refs/heads/main","pushedAt":"2023-08-22T23:07:24.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"hargoniX","name":"Henrik Böving","path":"/hargoniX","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33270164?s=80&v=4"},"commit":{"message":"feat: Windows support","shortMessageHtmlLink":"feat: Windows support"}},{"before":"684d65ea951e303a347581ca9d2d1af70f28ec8e","after":"c58d2d99dad42fc2289984d9100237e11348bce8","ref":"refs/heads/main","pushedAt":"2023-08-22T22:55:21.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"hargoniX","name":"Henrik Böving","path":"/hargoniX","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33270164?s=80&v=4"},"commit":{"message":"feat: Windows support","shortMessageHtmlLink":"feat: Windows support"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEgPrvBwA","startCursor":null,"endCursor":null}},"title":"Activity · hargoniX/socket.lean"}