{"action":"created","issue":{"url":"https://api.github.com/repos/wangpengmit/6887psets/issues/1","repository_url":"https://api.github.com/repos/wangpengmit/6887psets","labels_url":"https://api.github.com/repos/wangpengmit/6887psets/issues/1/labels{/name}","comments_url":"https://api.github.com/repos/wangpengmit/6887psets/issues/1/comments","events_url":"https://api.github.com/repos/wangpengmit/6887psets/issues/1/events","html_url":"https://github.com/wangpengmit/6887psets/pull/1","id":132231579,"number":1,"title":"Add Pset0.v template and Pset0Check.v.","user":{"login":"mattmccutchen","id":8885753,"avatar_url":"https://avatars.githubusercontent.com/u/8885753?v=3","gravatar_id":"","url":"https://api.github.com/users/mattmccutchen","html_url":"https://github.com/mattmccutchen","followers_url":"https://api.github.com/users/mattmccutchen/followers","following_url":"https://api.github.com/users/mattmccutchen/following{/other_user}","gists_url":"https://api.github.com/users/mattmccutchen/gists{/gist_id}","starred_url":"https://api.github.com/users/mattmccutchen/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/mattmccutchen/subscriptions","organizations_url":"https://api.github.com/users/mattmccutchen/orgs","repos_url":"https://api.github.com/users/mattmccutchen/repos","events_url":"https://api.github.com/users/mattmccutchen/events{/privacy}","received_events_url":"https://api.github.com/users/mattmccutchen/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":1,"created_at":"2016-02-08T19:11:05Z","updated_at":"2016-02-10T01:08:31Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/wangpengmit/6887psets/pulls/1","html_url":"https://github.com/wangpengmit/6887psets/pull/1","diff_url":"https://github.com/wangpengmit/6887psets/pull/1.diff","patch_url":"https://github.com/wangpengmit/6887psets/pull/1.patch"},"body":"Peng, if you believe in minimizing the amount of manual setup that students have to do, I think these files should be added too.  It's a little late to matter for pset 0, but I'd like to start the trend.\r\n\r\nThe only potential drawback is that students who choose not to commit their version of Pset0.v locally will see it as a pending change rather than an untracked file and may be at greater risk of losing their work via careless use of git commands.  I think students should be encouraged to commit their solutions locally and this drawback is outweighed by the benefit.  But if you're concerned about it, another option would be to name the file Pset0_template.v and leave a manual step of `cp Pset0_template.v Pset0.v`, which is still an improvement on the status quo."},"comment":{"url":"https://api.github.com/repos/wangpengmit/6887psets/issues/comments/182154697","html_url":"https://github.com/wangpengmit/6887psets/pull/1#issuecomment-182154697","issue_url":"https://api.github.com/repos/wangpengmit/6887psets/issues/1","id":182154697,"user":{"login":"achlipala","id":2353331,"avatar_url":"https://avatars.githubusercontent.com/u/2353331?v=3","gravatar_id":"","url":"https://api.github.com/users/achlipala","html_url":"https://github.com/achlipala","followers_url":"https://api.github.com/users/achlipala/followers","following_url":"https://api.github.com/users/achlipala/following{/other_user}","gists_url":"https://api.github.com/users/achlipala/gists{/gist_id}","starred_url":"https://api.github.com/users/achlipala/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/achlipala/subscriptions","organizations_url":"https://api.github.com/users/achlipala/orgs","repos_url":"https://api.github.com/users/achlipala/repos","events_url":"https://api.github.com/users/achlipala/events{/privacy}","received_events_url":"https://api.github.com/users/achlipala/received_events","type":"User","site_admin":false},"created_at":"2016-02-10T01:08:31Z","updated_at":"2016-02-10T01:08:31Z","body":"We'll do that for future psets, at least!"}}