edwinb
{
"type": "http://schema.org/Person",
"name": "",
"description": "",
"followers": "",
"url": "",
"location": "",
"languages": [
"Idris",
"Idris",
"Haskell",
"Idris",
"Idris",
"Idris"
],
"users": [
{
"name": "@edwinb",
"avatar": "https://avatars.githubusercontent.com/u/255926?s=64&v=4"
},
{
"name": "@edwinb",
"avatar": "https://avatars.githubusercontent.com/u/255926?s=64&v=4"
},
{
"name": "View edwinb's full-sized avatar",
"avatar": "https://avatars.githubusercontent.com/u/255926?v=4"
}
],
"topics": []
}
{
"avatar": "https://avatars.githubusercontent.com/u/255926?v=4",
"name": "Edwin Brady",
"username": "edwinb",
"description": "",
"location": "",
"vcard": "<svg aria-hidden=\"true\" height=\"16\" viewBox=\"0 0 16 16\" version=\"1.1\" width=\"16\" data-view-component=\"true\" class=\"octicon octicon-link\">\n <path d=\"m7.775 3.275 1.25-1.25a3.5 3.5 0 1 1 4.95 4.95l-2.5 2.5a3.5 3.5 0 0 1-4.95 0 .751.751 0 0 1 .018-1.042.751.751 0 0 1 1.042-.018 1.998 1.998 0 0 0 2.83 0l2.5-2.5a2.002 2.002 0 0 0-2.83-2.83l-1.25 1.25a.751.751 0 0 1-1.042-.018.751.751 0 0 1-.018-1.042Zm-4.69 9.64a1.998 1.998 0 0 0 2.83 0l1.25-1.25a.751.751 0 0 1 1.042.018.751.751 0 0 1 .018 1.042l-1.25 1.25a3.5 3.5 0 1 1-4.95-4.95l2.5-2.5a3.5 3.5 0 0 1 4.95 0 .751.751 0 0 1-.018 1.042.751.751 0 0 1-1.042.018 1.998 1.998 0 0 0-2.83 0l-2.5 2.5a1.998 1.998 0 0 0 0 2.83Z\"></path>\n</svg>\n <a rel=\"nofollow me\" class=\"Link--primary wb-break-all\" href=\"https://type-driven.org.uk/edwinb\">https://type-driven.org.uk/edwinb</a>\n",
"vcardDetails": [
{
"name": "https://type-driven.org.uk/edwinb",
"url": "https://type-driven.org.uk/edwinb"
}
],
"orgs": [],
"sponsors": [],
"pinned": [
{
"name": "Idris2-boot",
"description": "A dependently typed programming language, a successor to Idris",
"language": ""
},
{
"name": "Blodwen",
"description": "A prototype successor to Idris",
"language": ""
},
{
"name": "idris-php",
"description": "Yes, really...",
"language": ""
},
{
"name": "TypeDD-Samples",
"description": "Sample code from \"Type Driven Development with Idris\"",
"language": ""
},
{
"name": "SPLV20",
"description": "SPLV20 course notes",
"language": ""
},
{
"name": "Yaffle",
"description": "A core language and API for dependently typed languages",
"language": ""
}
],
"pinnedHtml": [
"\n <div class=\"d-flex v-align-middle mr-2\">\n <span data-view-component=\"true\" class=\"position-relative\"><a id=\"174434303\" href=\"/edwinb/Idris2-boot\" data-view-component=\"true\" class=\"min-width-0 Link text-bold flex-auto wb-break-all\"><span class=\"repo\">\n Idris2-boot\n </span></a> <tool-tip id=\"tooltip-8e640c6c-01e1-4d9c-af94-87e645159bb6\" for=\"174434303\" popover=\"manual\" data-direction=\"n\" data-type=\"description\" data-view-component=\"true\" class=\"sr-only position-absolute\">Idris2-boot</tool-tip></span> <span class=\"flex-auto text-right\">\n <span></span><span class=\"Label Label--secondary v-align-middle \">Public</span>\n </span>\n </div>\n\n\n <p class=\"pinned-item-desc color-fg-muted text-small d-block mt-2 tmp-mb-3\">\n A dependently typed programming language, a successor to Idris\n </p>\n\n <p class=\"mb-0 f6 color-fg-muted\">\n <span class=\"tmp-mr-3 d-inline-block\">\n <span class=\"repo-language-color\" style=\"background-color: #b30000\"></span>\n <span itemprop=\"programmingLanguage\">Idris</span>\n</span>\n\n <a href=\"/edwinb/Idris2-boot/stargazers\" class=\"pinned-item-meta Link--muted\">\n <svg aria-label=\"stars\" role=\"img\" height=\"16\" viewBox=\"0 0 16 16\" version=\"1.1\" width=\"16\" data-view-component=\"true\" class=\"octicon octicon-star\">\n <path d=\"M8 .25a.75.75 0 0 1 .673.418l1.882 3.815 4.21.612a.75.75 0 0 1 .416 1.279l-3.046 2.97.719 4.192a.751.751 0 0 1-1.088.791L8 12.347l-3.766 1.98a.75.75 0 0 1-1.088-.79l.72-4.194L.818 6.374a.75.75 0 0 1 .416-1.28l4.21-.611L7.327.668A.75.75 0 0 1 8 .25Zm0 2.445L6.615 5.5a.75.75 0 0 1-.564.41l-3.097.45 2.24 2.184a.75.75 0 0 1 .216.664l-.528 3.084 2.769-1.456a.75.75 0 0 1 .698 0l2.77 1.456-.53-3.084a.75.75 0 0 1 .216-.664l2.24-2.183-3.096-.45a.75.75 0 0 1-.564-.41L8 2.694Z\"></path>\n</svg>\n 897\n </a>\n <a href=\"/edwinb/Idris2-boot/forks\" class=\"pinned-item-meta Link--muted\">\n <svg aria-label=\"forks\" role=\"img\" height=\"16\" viewBox=\"0 0 16 16\" version=\"1.1\" width=\"16\" data-view-component=\"true\" class=\"octicon octicon-repo-forked\">\n <path d=\"M5 5.372v.878c0 .414.336.75.75.75h4.5a.75.75 0 0 0 .75-.75v-.878a2.25 2.25 0 1 1 1.5 0v.878a2.25 2.25 0 0 1-2.25 2.25h-1.5v2.128a2.251 2.251 0 1 1-1.5 0V8.5h-1.5A2.25 2.25 0 0 1 3.5 6.25v-.878a2.25 2.25 0 1 1 1.5 0ZM5 3.25a.75.75 0 1 0-1.5 0 .75.75 0 0 0 1.5 0Zm6.75.75a.75.75 0 1 0 0-1.5.75.75 0 0 0 0 1.5Zm-3 8.75a.75.75 0 1 0-1.5 0 .75.75 0 0 0 1.5 0Z\"></path>\n</svg>\n 56\n </a>\n </p>\n ",
"\n <div class=\"d-flex v-align-middle mr-2\">\n <span data-view-component=\"true\" class=\"position-relative\"><a id=\"94640104\" href=\"/edwinb/Blodwen\" data-view-component=\"true\" class=\"min-width-0 Link text-bold flex-auto wb-break-all\"><span class=\"repo\">\n Blodwen\n </span></a> <tool-tip id=\"tooltip-72d2b954-98ff-4051-babc-fd52fba680db\" for=\"94640104\" popover=\"manual\" data-direction=\"n\" data-type=\"description\" data-view-component=\"true\" class=\"sr-only position-absolute\">Blodwen</tool-tip></span> <span class=\"flex-auto text-right\">\n <span></span><span class=\"Label Label--secondary v-align-middle \">Public</span>\n </span>\n </div>\n\n\n <p class=\"pinned-item-desc color-fg-muted text-small d-block mt-2 tmp-mb-3\">\n A prototype successor to Idris\n </p>\n\n <p class=\"mb-0 f6 color-fg-muted\">\n <span class=\"tmp-mr-3 d-inline-block\">\n <span class=\"repo-language-color\" style=\"background-color: #b30000\"></span>\n <span itemprop=\"programmingLanguage\">Idris</span>\n</span>\n\n <a href=\"/edwinb/Blodwen/stargazers\" class=\"pinned-item-meta Link--muted\">\n <svg aria-label=\"stars\" role=\"img\" height=\"16\" viewBox=\"0 0 16 16\" version=\"1.1\" width=\"16\" data-view-component=\"true\" class=\"octicon octicon-star\">\n <path d=\"M8 .25a.75.75 0 0 1 .673.418l1.882 3.815 4.21.612a.75.75 0 0 1 .416 1.279l-3.046 2.97.719 4.192a.751.751 0 0 1-1.088.791L8 12.347l-3.766 1.98a.75.75 0 0 1-1.088-.79l.72-4.194L.818 6.374a.75.75 0 0 1 .416-1.28l4.21-.611L7.327.668A.75.75 0 0 1 8 .25Zm0 2.445L6.615 5.5a.75.75 0 0 1-.564.41l-3.097.45 2.24 2.184a.75.75 0 0 1 .216.664l-.528 3.084 2.769-1.456a.75.75 0 0 1 .698 0l2.77 1.456-.53-3.084a.75.75 0 0 1 .216-.664l2.24-2.183-3.096-.45a.75.75 0 0 1-.564-.41L8 2.694Z\"></path>\n</svg>\n 540\n </a>\n <a href=\"/edwinb/Blodwen/forks\" class=\"pinned-item-meta Link--muted\">\n <svg aria-label=\"forks\" role=\"img\" height=\"16\" viewBox=\"0 0 16 16\" version=\"1.1\" width=\"16\" data-view-component=\"true\" class=\"octicon octicon-repo-forked\">\n <path d=\"M5 5.372v.878c0 .414.336.75.75.75h4.5a.75.75 0 0 0 .75-.75v-.878a2.25 2.25 0 1 1 1.5 0v.878a2.25 2.25 0 0 1-2.25 2.25h-1.5v2.128a2.251 2.251 0 1 1-1.5 0V8.5h-1.5A2.25 2.25 0 0 1 3.5 6.25v-.878a2.25 2.25 0 1 1 1.5 0ZM5 3.25a.75.75 0 1 0-1.5 0 .75.75 0 0 0 1.5 0Zm6.75.75a.75.75 0 1 0 0-1.5.75.75 0 0 0 0 1.5Zm-3 8.75a.75.75 0 1 0-1.5 0 .75.75 0 0 0 1.5 0Z\"></path>\n</svg>\n 34\n </a>\n </p>\n ",
"\n <div class=\"d-flex v-align-middle mr-2\">\n <span data-view-component=\"true\" class=\"position-relative\"><a id=\"31625890\" href=\"/edwinb/idris-php\" data-view-component=\"true\" class=\"min-width-0 Link text-bold flex-auto wb-break-all\"><span class=\"repo\">\n idris-php\n </span></a> <tool-tip id=\"tooltip-a2a0c1c5-e4d4-4195-86b6-2a1500ee0bf9\" for=\"31625890\" popover=\"manual\" data-direction=\"n\" data-type=\"description\" data-view-component=\"true\" class=\"sr-only position-absolute\">idris-php</tool-tip></span> <span class=\"flex-auto text-right\">\n <span></span><span class=\"Label Label--secondary v-align-middle \">Public</span>\n </span>\n </div>\n\n\n <p class=\"pinned-item-desc color-fg-muted text-small d-block mt-2 tmp-mb-3\">\n Yes, really...\n </p>\n\n <p class=\"mb-0 f6 color-fg-muted\">\n <span class=\"tmp-mr-3 d-inline-block\">\n <span class=\"repo-language-color\" style=\"background-color: #5e5086\"></span>\n <span itemprop=\"programmingLanguage\">Haskell</span>\n</span>\n\n <a href=\"/edwinb/idris-php/stargazers\" class=\"pinned-item-meta Link--muted\">\n <svg aria-label=\"stars\" role=\"img\" height=\"16\" viewBox=\"0 0 16 16\" version=\"1.1\" width=\"16\" data-view-component=\"true\" class=\"octicon octicon-star\">\n <path d=\"M8 .25a.75.75 0 0 1 .673.418l1.882 3.815 4.21.612a.75.75 0 0 1 .416 1.279l-3.046 2.97.719 4.192a.751.751 0 0 1-1.088.791L8 12.347l-3.766 1.98a.75.75 0 0 1-1.088-.79l.72-4.194L.818 6.374a.75.75 0 0 1 .416-1.28l4.21-.611L7.327.668A.75.75 0 0 1 8 .25Zm0 2.445L6.615 5.5a.75.75 0 0 1-.564.41l-3.097.45 2.24 2.184a.75.75 0 0 1 .216.664l-.528 3.084 2.769-1.456a.75.75 0 0 1 .698 0l2.77 1.456-.53-3.084a.75.75 0 0 1 .216-.664l2.24-2.183-3.096-.45a.75.75 0 0 1-.564-.41L8 2.694Z\"></path>\n</svg>\n 176\n </a>\n <a href=\"/edwinb/idris-php/forks\" class=\"pinned-item-meta Link--muted\">\n <svg aria-label=\"forks\" role=\"img\" height=\"16\" viewBox=\"0 0 16 16\" version=\"1.1\" width=\"16\" data-view-component=\"true\" class=\"octicon octicon-repo-forked\">\n <path d=\"M5 5.372v.878c0 .414.336.75.75.75h4.5a.75.75 0 0 0 .75-.75v-.878a2.25 2.25 0 1 1 1.5 0v.878a2.25 2.25 0 0 1-2.25 2.25h-1.5v2.128a2.251 2.251 0 1 1-1.5 0V8.5h-1.5A2.25 2.25 0 0 1 3.5 6.25v-.878a2.25 2.25 0 1 1 1.5 0ZM5 3.25a.75.75 0 1 0-1.5 0 .75.75 0 0 0 1.5 0Zm6.75.75a.75.75 0 1 0 0-1.5.75.75 0 0 0 0 1.5Zm-3 8.75a.75.75 0 1 0-1.5 0 .75.75 0 0 0 1.5 0Z\"></path>\n</svg>\n 14\n </a>\n </p>\n ",
"\n <div class=\"d-flex v-align-middle mr-2\">\n <span data-view-component=\"true\" class=\"position-relative\"><a id=\"83246430\" href=\"/edwinb/TypeDD-Samples\" data-view-component=\"true\" class=\"min-width-0 Link text-bold flex-auto wb-break-all\"><span class=\"repo\">\n TypeDD-Samples\n </span></a> <tool-tip id=\"tooltip-059c6eb9-ff60-437e-a25e-d62448d2c3c1\" for=\"83246430\" popover=\"manual\" data-direction=\"n\" data-type=\"description\" data-view-component=\"true\" class=\"sr-only position-absolute\">TypeDD-Samples</tool-tip></span> <span class=\"flex-auto text-right\">\n <span></span><span class=\"Label Label--secondary v-align-middle \">Public</span>\n </span>\n </div>\n\n\n <p class=\"pinned-item-desc color-fg-muted text-small d-block mt-2 tmp-mb-3\">\n Sample code from \"Type Driven Development with Idris\"\n </p>\n\n <p class=\"mb-0 f6 color-fg-muted\">\n <span class=\"tmp-mr-3 d-inline-block\">\n <span class=\"repo-language-color\" style=\"background-color: #b30000\"></span>\n <span itemprop=\"programmingLanguage\">Idris</span>\n</span>\n\n <a href=\"/edwinb/TypeDD-Samples/stargazers\" class=\"pinned-item-meta Link--muted\">\n <svg aria-label=\"stars\" role=\"img\" height=\"16\" viewBox=\"0 0 16 16\" version=\"1.1\" width=\"16\" data-view-component=\"true\" class=\"octicon octicon-star\">\n <path d=\"M8 .25a.75.75 0 0 1 .673.418l1.882 3.815 4.21.612a.75.75 0 0 1 .416 1.279l-3.046 2.97.719 4.192a.751.751 0 0 1-1.088.791L8 12.347l-3.766 1.98a.75.75 0 0 1-1.088-.79l.72-4.194L.818 6.374a.75.75 0 0 1 .416-1.28l4.21-.611L7.327.668A.75.75 0 0 1 8 .25Zm0 2.445L6.615 5.5a.75.75 0 0 1-.564.41l-3.097.45 2.24 2.184a.75.75 0 0 1 .216.664l-.528 3.084 2.769-1.456a.75.75 0 0 1 .698 0l2.77 1.456-.53-3.084a.75.75 0 0 1 .216-.664l2.24-2.183-3.096-.45a.75.75 0 0 1-.564-.41L8 2.694Z\"></path>\n</svg>\n 165\n </a>\n <a href=\"/edwinb/TypeDD-Samples/forks\" class=\"pinned-item-meta Link--muted\">\n <svg aria-label=\"forks\" role=\"img\" height=\"16\" viewBox=\"0 0 16 16\" version=\"1.1\" width=\"16\" data-view-component=\"true\" class=\"octicon octicon-repo-forked\">\n <path d=\"M5 5.372v.878c0 .414.336.75.75.75h4.5a.75.75 0 0 0 .75-.75v-.878a2.25 2.25 0 1 1 1.5 0v.878a2.25 2.25 0 0 1-2.25 2.25h-1.5v2.128a2.251 2.251 0 1 1-1.5 0V8.5h-1.5A2.25 2.25 0 0 1 3.5 6.25v-.878a2.25 2.25 0 1 1 1.5 0ZM5 3.25a.75.75 0 1 0-1.5 0 .75.75 0 0 0 1.5 0Zm6.75.75a.75.75 0 1 0 0-1.5.75.75 0 0 0 0 1.5Zm-3 8.75a.75.75 0 1 0-1.5 0 .75.75 0 0 0 1.5 0Z\"></path>\n</svg>\n 43\n </a>\n </p>\n ",
"\n <div class=\"d-flex v-align-middle mr-2\">\n <span data-view-component=\"true\" class=\"position-relative\"><a id=\"288139394\" href=\"/edwinb/SPLV20\" data-view-component=\"true\" class=\"min-width-0 Link text-bold flex-auto wb-break-all\"><span class=\"repo\">\n SPLV20\n </span></a> <tool-tip id=\"tooltip-04312bb5-0c43-48bc-8602-dbf54cb43763\" for=\"288139394\" popover=\"manual\" data-direction=\"n\" data-type=\"description\" data-view-component=\"true\" class=\"sr-only position-absolute\">SPLV20</tool-tip></span> <span class=\"flex-auto text-right\">\n <span></span><span class=\"Label Label--secondary v-align-middle \">Public</span>\n </span>\n </div>\n\n\n <p class=\"pinned-item-desc color-fg-muted text-small d-block mt-2 tmp-mb-3\">\n SPLV20 course notes\n </p>\n\n <p class=\"mb-0 f6 color-fg-muted\">\n <span class=\"tmp-mr-3 d-inline-block\">\n <span class=\"repo-language-color\" style=\"background-color: #b30000\"></span>\n <span itemprop=\"programmingLanguage\">Idris</span>\n</span>\n\n <a href=\"/edwinb/SPLV20/stargazers\" class=\"pinned-item-meta Link--muted\">\n <svg aria-label=\"stars\" role=\"img\" height=\"16\" viewBox=\"0 0 16 16\" version=\"1.1\" width=\"16\" data-view-component=\"true\" class=\"octicon octicon-star\">\n <path d=\"M8 .25a.75.75 0 0 1 .673.418l1.882 3.815 4.21.612a.75.75 0 0 1 .416 1.279l-3.046 2.97.719 4.192a.751.751 0 0 1-1.088.791L8 12.347l-3.766 1.98a.75.75 0 0 1-1.088-.79l.72-4.194L.818 6.374a.75.75 0 0 1 .416-1.28l4.21-.611L7.327.668A.75.75 0 0 1 8 .25Zm0 2.445L6.615 5.5a.75.75 0 0 1-.564.41l-3.097.45 2.24 2.184a.75.75 0 0 1 .216.664l-.528 3.084 2.769-1.456a.75.75 0 0 1 .698 0l2.77 1.456-.53-3.084a.75.75 0 0 1 .216-.664l2.24-2.183-3.096-.45a.75.75 0 0 1-.564-.41L8 2.694Z\"></path>\n</svg>\n 115\n </a>\n <a href=\"/edwinb/SPLV20/forks\" class=\"pinned-item-meta Link--muted\">\n <svg aria-label=\"forks\" role=\"img\" height=\"16\" viewBox=\"0 0 16 16\" version=\"1.1\" width=\"16\" data-view-component=\"true\" class=\"octicon octicon-repo-forked\">\n <path d=\"M5 5.372v.878c0 .414.336.75.75.75h4.5a.75.75 0 0 0 .75-.75v-.878a2.25 2.25 0 1 1 1.5 0v.878a2.25 2.25 0 0 1-2.25 2.25h-1.5v2.128a2.251 2.251 0 1 1-1.5 0V8.5h-1.5A2.25 2.25 0 0 1 3.5 6.25v-.878a2.25 2.25 0 1 1 1.5 0ZM5 3.25a.75.75 0 1 0-1.5 0 .75.75 0 0 0 1.5 0Zm6.75.75a.75.75 0 1 0 0-1.5.75.75 0 0 0 0 1.5Zm-3 8.75a.75.75 0 1 0-1.5 0 .75.75 0 0 0 1.5 0Z\"></path>\n</svg>\n 35\n </a>\n </p>\n ",
"\n <div class=\"d-flex v-align-middle mr-2\">\n <span data-view-component=\"true\" class=\"position-relative\"><a id=\"461274258\" href=\"/edwinb/Yaffle\" data-view-component=\"true\" class=\"min-width-0 Link text-bold flex-auto wb-break-all\"><span class=\"repo\">\n Yaffle\n </span></a> <tool-tip id=\"tooltip-54bb146f-a017-4deb-832b-f1a984a2d1df\" for=\"461274258\" popover=\"manual\" data-direction=\"n\" data-type=\"description\" data-view-component=\"true\" class=\"sr-only position-absolute\">Yaffle</tool-tip></span> <span class=\"flex-auto text-right\">\n <span></span><span class=\"Label Label--secondary v-align-middle \">Public</span>\n </span>\n </div>\n\n\n <p class=\"pinned-item-desc color-fg-muted text-small d-block mt-2 tmp-mb-3\">\n A core language and API for dependently typed languages\n </p>\n\n <p class=\"mb-0 f6 color-fg-muted\">\n <span class=\"tmp-mr-3 d-inline-block\">\n <span class=\"repo-language-color\" style=\"background-color: #b30000\"></span>\n <span itemprop=\"programmingLanguage\">Idris</span>\n</span>\n\n <a href=\"/edwinb/Yaffle/stargazers\" class=\"pinned-item-meta Link--muted\">\n <svg aria-label=\"stars\" role=\"img\" height=\"16\" viewBox=\"0 0 16 16\" version=\"1.1\" width=\"16\" data-view-component=\"true\" class=\"octicon octicon-star\">\n <path d=\"M8 .25a.75.75 0 0 1 .673.418l1.882 3.815 4.21.612a.75.75 0 0 1 .416 1.279l-3.046 2.97.719 4.192a.751.751 0 0 1-1.088.791L8 12.347l-3.766 1.98a.75.75 0 0 1-1.088-.79l.72-4.194L.818 6.374a.75.75 0 0 1 .416-1.28l4.21-.611L7.327.668A.75.75 0 0 1 8 .25Zm0 2.445L6.615 5.5a.75.75 0 0 1-.564.41l-3.097.45 2.24 2.184a.75.75 0 0 1 .216.664l-.528 3.084 2.769-1.456a.75.75 0 0 1 .698 0l2.77 1.456-.53-3.084a.75.75 0 0 1 .216-.664l2.24-2.183-3.096-.45a.75.75 0 0 1-.564-.41L8 2.694Z\"></path>\n</svg>\n 97\n </a>\n <a href=\"/edwinb/Yaffle/forks\" class=\"pinned-item-meta Link--muted\">\n <svg aria-label=\"forks\" role=\"img\" height=\"16\" viewBox=\"0 0 16 16\" version=\"1.1\" width=\"16\" data-view-component=\"true\" class=\"octicon octicon-repo-forked\">\n <path d=\"M5 5.372v.878c0 .414.336.75.75.75h4.5a.75.75 0 0 0 .75-.75v-.878a2.25 2.25 0 1 1 1.5 0v.878a2.25 2.25 0 0 1-2.25 2.25h-1.5v2.128a2.251 2.251 0 1 1-1.5 0V8.5h-1.5A2.25 2.25 0 0 1 3.5 6.25v-.878a2.25 2.25 0 1 1 1.5 0ZM5 3.25a.75.75 0 1 0-1.5 0 .75.75 0 0 0 1.5 0Zm6.75.75a.75.75 0 1 0 0-1.5.75.75 0 0 0 0 1.5Zm-3 8.75a.75.75 0 1 0-1.5 0 .75.75 0 0 0 1.5 0Z\"></path>\n</svg>\n 20\n </a>\n </p>\n "
]
}
{
"accept-ranges": "bytes",
"cache-control": "max-age=0, private, must-revalidate",
"content-encoding": "gzip",
"content-security-policy": "default-src 'none'; base-uri 'self'; child-src github.githubassets.com github.com/assets-cdn/worker/ github.com/assets/ gist.github.com/assets-cdn/worker/; connect-src 'self' uploads.github.com www.githubstatus.com collector.github.com raw.githubusercontent.com api.github.com github-cloud.s3.amazonaws.com github-production-repository-file-5c1aeb.s3.amazonaws.com github-production-upload-manifest-file-7fdce7.s3.amazonaws.com github-production-user-asset-6210df.s3.amazonaws.com *.rel.tunnels.api.visualstudio.com wss://*.rel.tunnels.api.visualstudio.com github.githubassets.com objects-origin.githubusercontent.com copilot-proxy.githubusercontent.com proxy.individual.githubcopilot.com proxy.business.githubcopilot.com proxy.enterprise.githubcopilot.com *.actions.githubusercontent.com wss://*.actions.githubusercontent.com productionresultssa0.blob.core.windows.net productionresultssa1.blob.core.windows.net productionresultssa2.blob.core.windows.net productionresultssa3.blob.core.windows.net productionresultssa4.blob.core.windows.net productionresultssa5.blob.core.windows.net productionresultssa6.blob.core.windows.net productionresultssa7.blob.core.windows.net productionresultssa8.blob.core.windows.net productionresultssa9.blob.core.windows.net productionresultssa10.blob.core.windows.net productionresultssa11.blob.core.windows.net productionresultssa12.blob.core.windows.net productionresultssa13.blob.core.windows.net productionresultssa14.blob.core.windows.net productionresultssa15.blob.core.windows.net productionresultssa16.blob.core.windows.net productionresultssa17.blob.core.windows.net productionresultssa18.blob.core.windows.net productionresultssa19.blob.core.windows.net github-production-repository-image-32fea6.s3.amazonaws.com github-production-release-asset-2e65be.s3.amazonaws.com insights.github.com wss://alive.github.com wss://alive-staging.github.com api.githubcopilot.com api.individual.githubcopilot.com api.business.githubcopilot.com api.enterprise.githubcopilot.com; font-src github.githubassets.com; form-action 'self' github.com gist.github.com copilot-workspace.githubnext.com objects-origin.githubusercontent.com; frame-ancestors 'none'; frame-src viewscreen.githubusercontent.com notebooks.githubusercontent.com; img-src 'self' data: blob: github.githubassets.com media.githubusercontent.com camo.githubusercontent.com identicons.github.com avatars.githubusercontent.com private-avatars.githubusercontent.com github-cloud.s3.amazonaws.com objects.githubusercontent.com release-assets.githubusercontent.com secured-user-images.githubusercontent.com user-images.githubusercontent.com private-user-images.githubusercontent.com opengraph.githubassets.com marketplace-screenshots.githubusercontent.com copilotprodattachments.blob.core.windows.net/github-production-copilot-attachments/ github-production-user-asset-6210df.s3.amazonaws.com customer-stories-feed.github.com spotlights-feed.github.com objects-origin.githubusercontent.com *.githubusercontent.com; manifest-src 'self'; media-src github.com user-images.githubusercontent.com secured-user-images.githubusercontent.com private-user-images.githubusercontent.com github-production-user-asset-6210df.s3.amazonaws.com gist.github.com github.githubassets.com; script-src github.githubassets.com; style-src 'unsafe-inline' github.githubassets.com; upgrade-insecure-requests; worker-src github.githubassets.com github.com/assets-cdn/worker/ github.com/assets/ gist.github.com/assets-cdn/worker/",
"content-type": "text/html; charset=utf-8",
"date": "Sat, 18 Apr 2026 08:43:19 GMT",
"etag": "5736fa5e854920e90eee79fb4f5c0e0d",
"referrer-policy": "origin-when-cross-origin, strict-origin-when-cross-origin",
"server": "github.com",
"set-cookie": "logged_in=no; expires=Sun, 18 Apr 2027 08:43:19 GMT; domain=.github.com; path=/; HttpOnly; secure; SameSite=Lax",
"strict-transport-security": "max-age=31536000; includeSubdomains; preload",
"transfer-encoding": "chunked",
"vary": "X-PJAX, X-PJAX-Container, Turbo-Visit, Turbo-Frame, X-Requested-With, Sec-Fetch-Site,Accept-Encoding, Accept, X-Requested-With",
"x-content-type-options": "nosniff",
"x-frame-options": "deny",
"x-github-request-id": "A440:1B132C:1A01A43:230E322:69E34426",
"x-xss-protection": "0"
}