{"action":"created","issue":{"url":"https://api.github.com/repos/GaloisInc/HaLVM/issues/83","repository_url":"https://api.github.com/repos/GaloisInc/HaLVM","labels_url":"https://api.github.com/repos/GaloisInc/HaLVM/issues/83/labels{/name}","comments_url":"https://api.github.com/repos/GaloisInc/HaLVM/issues/83/comments","events_url":"https://api.github.com/repos/GaloisInc/HaLVM/issues/83/events","html_url":"https://github.com/GaloisInc/HaLVM/pull/83","id":191200309,"number":83,"title":"Add HACKING.md","user":{"login":"izgzhen","id":7168454,"avatar_url":"https://avatars.githubusercontent.com/u/7168454?v=3","gravatar_id":"","url":"https://api.github.com/users/izgzhen","html_url":"https://github.com/izgzhen","followers_url":"https://api.github.com/users/izgzhen/followers","following_url":"https://api.github.com/users/izgzhen/following{/other_user}","gists_url":"https://api.github.com/users/izgzhen/gists{/gist_id}","starred_url":"https://api.github.com/users/izgzhen/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/izgzhen/subscriptions","organizations_url":"https://api.github.com/users/izgzhen/orgs","repos_url":"https://api.github.com/users/izgzhen/repos","events_url":"https://api.github.com/users/izgzhen/events{/privacy}","received_events_url":"https://api.github.com/users/izgzhen/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":2,"created_at":"2016-11-23T06:59:15Z","updated_at":"2016-11-23T17:49:27Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/GaloisInc/HaLVM/pulls/83","html_url":"https://github.com/GaloisInc/HaLVM/pull/83","diff_url":"https://github.com/GaloisInc/HaLVM/pull/83.diff","patch_url":"https://github.com/GaloisInc/HaLVM/pull/83.patch"},"body":"Fixes issue #81. Not perfect yet so feedbacks are welcomed.\r\n\r\nNow I have some more considerations.\r\n\r\nFirst, `HACKING.md` is a dev guide, so naturally there should be a user-guide. I remember that we have some packages and even docker image, so maybe their usages will be put in the user guide. (However, I suspect that the user guide is of a lower priority.)\r\n\r\nSecond, for the related text in wiki, I plan not to delete them now, but simply add a link in them since I actually did some simplifications so older texts might still be useful in some sense. But in the long run maybe a more unified doc is better."},"comment":{"url":"https://api.github.com/repos/GaloisInc/HaLVM/issues/comments/262585564","html_url":"https://github.com/GaloisInc/HaLVM/pull/83#issuecomment-262585564","issue_url":"https://api.github.com/repos/GaloisInc/HaLVM/issues/83","id":262585564,"user":{"login":"acw","id":168006,"avatar_url":"https://avatars.githubusercontent.com/u/168006?v=3","gravatar_id":"","url":"https://api.github.com/users/acw","html_url":"https://github.com/acw","followers_url":"https://api.github.com/users/acw/followers","following_url":"https://api.github.com/users/acw/following{/other_user}","gists_url":"https://api.github.com/users/acw/gists{/gist_id}","starred_url":"https://api.github.com/users/acw/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/acw/subscriptions","organizations_url":"https://api.github.com/users/acw/orgs","repos_url":"https://api.github.com/users/acw/repos","events_url":"https://api.github.com/users/acw/events{/privacy}","received_events_url":"https://api.github.com/users/acw/received_events","type":"User","site_admin":false},"created_at":"2016-11-23T17:49:27Z","updated_at":"2016-11-23T17:49:27Z","body":"This is awesome!\r\n\r\n@izgzhen: One small change request: can you bump Fedora 22 to Fedora 24?\r\n@abailly: I would love someone to do a test run."}}
{"actor":{"display_login":"acw"}}