{"action":"created","issue":{"url":"https://api.github.com/repos/myhdl/myhdl/issues/227","repository_url":"https://api.github.com/repos/myhdl/myhdl","labels_url":"https://api.github.com/repos/myhdl/myhdl/issues/227/labels{/name}","comments_url":"https://api.github.com/repos/myhdl/myhdl/issues/227/comments","events_url":"https://api.github.com/repos/myhdl/myhdl/issues/227/events","html_url":"https://github.com/myhdl/myhdl/pull/227","id":230631358,"number":227,"title":"Changed backup vcd filename creation","user":{"login":"punkkeks","id":921462,"avatar_url":"https://avatars0.githubusercontent.com/u/921462?v=3","gravatar_id":"","url":"https://api.github.com/users/punkkeks","html_url":"https://github.com/punkkeks","followers_url":"https://api.github.com/users/punkkeks/followers","following_url":"https://api.github.com/users/punkkeks/following{/other_user}","gists_url":"https://api.github.com/users/punkkeks/gists{/gist_id}","starred_url":"https://api.github.com/users/punkkeks/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/punkkeks/subscriptions","organizations_url":"https://api.github.com/users/punkkeks/orgs","repos_url":"https://api.github.com/users/punkkeks/repos","events_url":"https://api.github.com/users/punkkeks/events{/privacy}","received_events_url":"https://api.github.com/users/punkkeks/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":2,"created_at":"2017-05-23T08:43:37Z","updated_at":"2017-06-25T07:22:05Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/myhdl/myhdl/pulls/227","html_url":"https://github.com/myhdl/myhdl/pull/227","diff_url":"https://github.com/myhdl/myhdl/pull/227.diff","patch_url":"https://github.com/myhdl/myhdl/pull/227.patch"},"body":"When there is already a vcd file with the same name, do not just append the timestamp to the filename, but remove the '.vcd' extension, append the timestamp and append the .vcd extension again, so that file will always have the right file extension (very useful for windows systems)"},"comment":{"url":"https://api.github.com/repos/myhdl/myhdl/issues/comments/310887378","html_url":"https://github.com/myhdl/myhdl/pull/227#issuecomment-310887378","issue_url":"https://api.github.com/repos/myhdl/myhdl/issues/227","id":310887378,"user":{"login":"qrqiuren","id":3875617,"avatar_url":"https://avatars3.githubusercontent.com/u/3875617?v=3","gravatar_id":"","url":"https://api.github.com/users/qrqiuren","html_url":"https://github.com/qrqiuren","followers_url":"https://api.github.com/users/qrqiuren/followers","following_url":"https://api.github.com/users/qrqiuren/following{/other_user}","gists_url":"https://api.github.com/users/qrqiuren/gists{/gist_id}","starred_url":"https://api.github.com/users/qrqiuren/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/qrqiuren/subscriptions","organizations_url":"https://api.github.com/users/qrqiuren/orgs","repos_url":"https://api.github.com/users/qrqiuren/repos","events_url":"https://api.github.com/users/qrqiuren/events{/privacy}","received_events_url":"https://api.github.com/users/qrqiuren/received_events","type":"User","site_admin":false},"created_at":"2017-06-25T07:22:05Z","updated_at":"2017-06-25T07:22:05Z","body":"@jandecaluwe "}}
{"actor":{"display_login":"qrqiuren"}}