{"action":"created","issue":{"url":"https://api.github.com/repos/Template-Coq/template-coq/issues/72","repository_url":"https://api.github.com/repos/Template-Coq/template-coq","labels_url":"https://api.github.com/repos/Template-Coq/template-coq/issues/72/labels{/name}","comments_url":"https://api.github.com/repos/Template-Coq/template-coq/issues/72/comments","events_url":"https://api.github.com/repos/Template-Coq/template-coq/issues/72/events","html_url":"https://github.com/Template-Coq/template-coq/issues/72","id":367327892,"node_id":"MDU6SXNzdWUzNjczMjc4OTI=","number":72,"title":"Project name change","user":{"login":"mattam82","id":98373,"node_id":"MDQ6VXNlcjk4Mzcz","avatar_url":"https://avatars1.githubusercontent.com/u/98373?v=4","gravatar_id":"","url":"https://api.github.com/users/mattam82","html_url":"https://github.com/mattam82","followers_url":"https://api.github.com/users/mattam82/followers","following_url":"https://api.github.com/users/mattam82/following{/other_user}","gists_url":"https://api.github.com/users/mattam82/gists{/gist_id}","starred_url":"https://api.github.com/users/mattam82/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/mattam82/subscriptions","organizations_url":"https://api.github.com/users/mattam82/orgs","repos_url":"https://api.github.com/users/mattam82/repos","events_url":"https://api.github.com/users/mattam82/events{/privacy}","received_events_url":"https://api.github.com/users/mattam82/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":0,"created_at":"2018-10-05T18:51:46Z","updated_at":"2018-10-05T18:53:12Z","closed_at":null,"author_association":"CONTRIBUTOR","body":"After discussion with a number of people, it seems that template-Coq is not the best name to use for the whole project. @betaziliani is ok with us reusing the name MetaCoq (which was used for a former MTac version) and people seem to like it. To me it sounds better as well, given the we provide much different functionality than just reifying / reflecting terms, with the template monad to script the vernacular and the typing/checker work to provide a kind of Coq-in-Coq implementation. In my opinion, Template-Coq / MetaCoq-Template could still refer to the core reification/reflection framework we have, while MetaCoq-Gallina (or some better name) could refer to the current template monad, MetaCoq-Checker, MetaCoq-Extraction and the various translations should also be separate projects under a larger MetaCoq umbrella. If you agree, I can create a new organization and work on separating the various parts into different projects, which should be easy as they are already in separate directories. So, what do you think?"},"comment":{"url":"https://api.github.com/repos/Template-Coq/template-coq/issues/comments/427465322","html_url":"https://github.com/Template-Coq/template-coq/issues/72#issuecomment-427465322","issue_url":"https://api.github.com/repos/Template-Coq/template-coq/issues/72","id":427465322,"node_id":"MDEyOklzc3VlQ29tbWVudDQyNzQ2NTMyMg==","user":{"login":"mattam82","id":98373,"node_id":"MDQ6VXNlcjk4Mzcz","avatar_url":"https://avatars1.githubusercontent.com/u/98373?v=4","gravatar_id":"","url":"https://api.github.com/users/mattam82","html_url":"https://github.com/mattam82","followers_url":"https://api.github.com/users/mattam82/followers","following_url":"https://api.github.com/users/mattam82/following{/other_user}","gists_url":"https://api.github.com/users/mattam82/gists{/gist_id}","starred_url":"https://api.github.com/users/mattam82/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/mattam82/subscriptions","organizations_url":"https://api.github.com/users/mattam82/orgs","repos_url":"https://api.github.com/users/mattam82/repos","events_url":"https://api.github.com/users/mattam82/events{/privacy}","received_events_url":"https://api.github.com/users/mattam82/received_events","type":"User","site_admin":false},"created_at":"2018-10-05T18:53:12Z","updated_at":"2018-10-05T18:53:12Z","author_association":"CONTRIBUTOR","body":"@tabareau @SimonBoulier @yforster @CohenCyril @gmalecha @aa755 I’d like to have your approval before starting to do that."}}
{"actor":{"display_login":"mattam82"}}