{"action":"created","issue":{"url":"https://api.github.com/repos/plfa/plfa.github.io/issues/73","repository_url":"https://api.github.com/repos/plfa/plfa.github.io","labels_url":"https://api.github.com/repos/plfa/plfa.github.io/issues/73/labels{/name}","comments_url":"https://api.github.com/repos/plfa/plfa.github.io/issues/73/comments","events_url":"https://api.github.com/repos/plfa/plfa.github.io/issues/73/events","html_url":"https://github.com/plfa/plfa.github.io/issues/73","id":365544761,"node_id":"MDU6SXNzdWUzNjU1NDQ3NjE=","number":73,"title":"repo not current wrt website","user":{"login":"mwand","id":2339120,"node_id":"MDQ6VXNlcjIzMzkxMjA=","avatar_url":"https://avatars0.githubusercontent.com/u/2339120?v=4","gravatar_id":"","url":"https://api.github.com/users/mwand","html_url":"https://github.com/mwand","followers_url":"https://api.github.com/users/mwand/followers","following_url":"https://api.github.com/users/mwand/following{/other_user}","gists_url":"https://api.github.com/users/mwand/gists{/gist_id}","starred_url":"https://api.github.com/users/mwand/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/mwand/subscriptions","organizations_url":"https://api.github.com/users/mwand/orgs","repos_url":"https://api.github.com/users/mwand/repos","events_url":"https://api.github.com/users/mwand/events{/privacy}","received_events_url":"https://api.github.com/users/mwand/received_events","type":"User","site_admin":false},"labels":[],"state":"closed","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":1,"created_at":"2018-10-01T16:37:05Z","updated_at":"2018-10-02T11:48:03Z","closed_at":"2018-10-02T11:47:18Z","author_association":"NONE","body":"The web site says o+o==e is a stretch, and includes a section on Bin-predicates (also labeled \"stretch\")\r\nbut the default branch on the repo does not include either of these.\r\n"},"comment":{"url":"https://api.github.com/repos/plfa/plfa.github.io/issues/comments/426243960","html_url":"https://github.com/plfa/plfa.github.io/issues/73#issuecomment-426243960","issue_url":"https://api.github.com/repos/plfa/plfa.github.io/issues/73","id":426243960,"node_id":"MDEyOklzc3VlQ29tbWVudDQyNjI0Mzk2MA==","user":{"login":"wadler","id":4890546,"node_id":"MDQ6VXNlcjQ4OTA1NDY=","avatar_url":"https://avatars3.githubusercontent.com/u/4890546?v=4","gravatar_id":"","url":"https://api.github.com/users/wadler","html_url":"https://github.com/wadler","followers_url":"https://api.github.com/users/wadler/followers","following_url":"https://api.github.com/users/wadler/following{/other_user}","gists_url":"https://api.github.com/users/wadler/gists{/gist_id}","starred_url":"https://api.github.com/users/wadler/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/wadler/subscriptions","organizations_url":"https://api.github.com/users/wadler/orgs","repos_url":"https://api.github.com/users/wadler/repos","events_url":"https://api.github.com/users/wadler/events{/privacy}","received_events_url":"https://api.github.com/users/wadler/received_events","type":"User","site_admin":false},"created_at":"2018-10-02T11:48:03Z","updated_at":"2018-10-02T11:48:03Z","author_association":"COLLABORATOR","body":"The web site is generated automatically from the repository (it takes a few\nminutes). If you see a discrepancy, it may be because your local copy of\nthe repository is out of date. Cheers, -- P\n\n.   \\ Philip Wadler, Professor of Theoretical Computer Science,\n.   /\\ School of Informatics, University of Edinburgh\n.  /  \\ and Senior Research Fellow, IOHK\n. http://homepages.inf.ed.ac.uk/wadler/\n\nToo brief? Here's why: http://www.emailcharter.org/\n\n\nOn Mon, 1 Oct 2018 at 17:37, Mitchell Wand <notifications@github.com> wrote:\n\n> The web site says o+o==e is a stretch, and includes a section on\n> Bin-predicates (also labeled \"stretch\")\n> but the default branch on the repo does not include either of these.\n>\n> —\n> You are receiving this because you are subscribed to this thread.\n> Reply to this email directly, view it on GitHub\n> <https://github.com/plfa/plfa.github.io/issues/73>, or mute the thread\n> <https://github.com/notifications/unsubscribe-auth/AEqfstEovng3ViANFUnD8yc5xVs3oB8uks5ugkSzgaJpZM4XCcXN>\n> .\n>\n\nThe University of Edinburgh is a charitable body, registered in\nScotland, with registration number SC005336.\n"}}
{"actor":{"display_login":"wadler"}}