{"action":"created","issue":{"url":"https://api.github.com/repos/coq-community/paramcoq/issues/9","repository_url":"https://api.github.com/repos/coq-community/paramcoq","labels_url":"https://api.github.com/repos/coq-community/paramcoq/issues/9/labels{/name}","comments_url":"https://api.github.com/repos/coq-community/paramcoq/issues/9/comments","events_url":"https://api.github.com/repos/coq-community/paramcoq/issues/9/events","html_url":"https://github.com/coq-community/paramcoq/issues/9","id":376633164,"node_id":"MDU6SXNzdWUzNzY2MzMxNjQ=","number":9,"title":"Versioning policy","user":{"login":"ejgallego","id":7192257,"node_id":"MDQ6VXNlcjcxOTIyNTc=","avatar_url":"https://avatars2.githubusercontent.com/u/7192257?v=4","gravatar_id":"","url":"https://api.github.com/users/ejgallego","html_url":"https://github.com/ejgallego","followers_url":"https://api.github.com/users/ejgallego/followers","following_url":"https://api.github.com/users/ejgallego/following{/other_user}","gists_url":"https://api.github.com/users/ejgallego/gists{/gist_id}","starred_url":"https://api.github.com/users/ejgallego/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ejgallego/subscriptions","organizations_url":"https://api.github.com/users/ejgallego/orgs","repos_url":"https://api.github.com/users/ejgallego/repos","events_url":"https://api.github.com/users/ejgallego/events{/privacy}","received_events_url":"https://api.github.com/users/ejgallego/received_events","type":"User","site_admin":false},"labels":[{"id":150068074,"node_id":"MDU6TGFiZWwxNTAwNjgwNzQ=","url":"https://api.github.com/repos/coq-community/paramcoq/labels/enhancement","name":"enhancement","color":"84b6eb","default":true}],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":10,"created_at":"2018-11-02T01:24:21Z","updated_at":"2018-11-14T12:49:12Z","closed_at":null,"author_association":"CONTRIBUTOR","body":"Hi folks,\r\n\r\nallow me to open a follow up of https://github.com/aa755/paramcoq/pull/12 here, as I am a bit surprised of the solution adopted there to have a N-copies of the plugin in the repository.\r\n\r\nThis is IMHO inconvenient as one cannot easily use version control to understand changes among versions, and introduces complexity in the build script which has to understand the Coq version too.\r\n\r\nI would indeed suggest that paramcoq follows the policy suggested in https://github.com/coq/coq/pull/8750 , that is to say, have a single copy of the plugin in the repository and one branch for each supported Coq version.\r\n"},"comment":{"url":"https://api.github.com/repos/coq-community/paramcoq/issues/comments/438650604","html_url":"https://github.com/coq-community/paramcoq/issues/9#issuecomment-438650604","issue_url":"https://api.github.com/repos/coq-community/paramcoq/issues/9","id":438650604,"node_id":"MDEyOklzc3VlQ29tbWVudDQzODY1MDYwNA==","user":{"login":"ejgallego","id":7192257,"node_id":"MDQ6VXNlcjcxOTIyNTc=","avatar_url":"https://avatars2.githubusercontent.com/u/7192257?v=4","gravatar_id":"","url":"https://api.github.com/users/ejgallego","html_url":"https://github.com/ejgallego","followers_url":"https://api.github.com/users/ejgallego/followers","following_url":"https://api.github.com/users/ejgallego/following{/other_user}","gists_url":"https://api.github.com/users/ejgallego/gists{/gist_id}","starred_url":"https://api.github.com/users/ejgallego/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ejgallego/subscriptions","organizations_url":"https://api.github.com/users/ejgallego/orgs","repos_url":"https://api.github.com/users/ejgallego/repos","events_url":"https://api.github.com/users/ejgallego/events{/privacy}","received_events_url":"https://api.github.com/users/ejgallego/received_events","type":"User","site_admin":false},"created_at":"2018-11-14T12:49:12Z","updated_at":"2018-11-14T12:49:12Z","author_association":"CONTRIBUTOR","body":"Sounds good, but note that you will rarely have so many versions of 1.1.1 for example as usually you will move to a newer branch when a new Coq version is released ~6 months.\r\n\r\nIndeed that's unfortunate but the current Coq's policy is no ML API compatibility for plugins.\r\n\r\n"}}
{"actor":{"display_login":"ejgallego"}}