{"action":"created","issue":{"url":"https://api.github.com/repos/Microsoft/CodeContracts/issues/409","repository_url":"https://api.github.com/repos/Microsoft/CodeContracts","labels_url":"https://api.github.com/repos/Microsoft/CodeContracts/issues/409/labels{/name}","comments_url":"https://api.github.com/repos/Microsoft/CodeContracts/issues/409/comments","events_url":"https://api.github.com/repos/Microsoft/CodeContracts/issues/409/events","html_url":"https://github.com/Microsoft/CodeContracts/issues/409","id":151617284,"number":409,"title":"What does the Future of Code Contracts Look Like?","user":{"login":"lundmikkel","id":1230950,"avatar_url":"https://avatars.githubusercontent.com/u/1230950?v=3","gravatar_id":"","url":"https://api.github.com/users/lundmikkel","html_url":"https://github.com/lundmikkel","followers_url":"https://api.github.com/users/lundmikkel/followers","following_url":"https://api.github.com/users/lundmikkel/following{/other_user}","gists_url":"https://api.github.com/users/lundmikkel/gists{/gist_id}","starred_url":"https://api.github.com/users/lundmikkel/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/lundmikkel/subscriptions","organizations_url":"https://api.github.com/users/lundmikkel/orgs","repos_url":"https://api.github.com/users/lundmikkel/repos","events_url":"https://api.github.com/users/lundmikkel/events{/privacy}","received_events_url":"https://api.github.com/users/lundmikkel/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":21,"created_at":"2016-04-28T11:29:37Z","updated_at":"2016-09-26T08:27:45Z","closed_at":null,"body":"I'm a big fan of Code Contracts and what it allows me to do. I've been using CC for almost five years now, and I would hate not using it. I've used it for both academic and commercial projects, and I feel naked, when I don't used it.\r\n\r\nI am, however, a bit afraid of the project's current status. There seems to be _extremely_ little activity: only two commits were made within the last two and a half months; there are 144 open issues, where the newest ones are hardly tagged or even commented (my own issues have gotten almost no attention); there are more and more pull request, many only commented by the author; the last release candidate was released in January, and only 31 commits have been made since then.\r\n\r\nI would like to know what to expect in the future. What does it look like for CC? Should I expect updates and to be able to keep using Code Contracts or should I rather look for new tools?\r\n\r\n@SergeyTeplyakov, @sharwell, @tom-englert, @hubuk, @yaakov-h: what are your commitments to the project? I can see you have all done a lot for the project after it was open-sourced, but few of you have been active this year. Have you all left, or are there still maintainers of the project?\r\n\r\nI hope, I will get some answers, so I don't have to stay in the dark. This is a great project, and I would hate losing it."},"comment":{"url":"https://api.github.com/repos/Microsoft/CodeContracts/issues/comments/249509261","html_url":"https://github.com/Microsoft/CodeContracts/issues/409#issuecomment-249509261","issue_url":"https://api.github.com/repos/Microsoft/CodeContracts/issues/409","id":249509261,"user":{"login":"mayconbeserra","id":911493,"avatar_url":"https://avatars.githubusercontent.com/u/911493?v=3","gravatar_id":"","url":"https://api.github.com/users/mayconbeserra","html_url":"https://github.com/mayconbeserra","followers_url":"https://api.github.com/users/mayconbeserra/followers","following_url":"https://api.github.com/users/mayconbeserra/following{/other_user}","gists_url":"https://api.github.com/users/mayconbeserra/gists{/gist_id}","starred_url":"https://api.github.com/users/mayconbeserra/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/mayconbeserra/subscriptions","organizations_url":"https://api.github.com/users/mayconbeserra/orgs","repos_url":"https://api.github.com/users/mayconbeserra/repos","events_url":"https://api.github.com/users/mayconbeserra/events{/privacy}","received_events_url":"https://api.github.com/users/mayconbeserra/received_events","type":"User","site_admin":false},"created_at":"2016-09-26T08:27:44Z","updated_at":"2016-09-26T08:27:44Z","body":"Hi @roji and @magol ,\r\n\r\nIs there any other option (Code Contracts) for .net core running on Linux or Mac? (I don't have a windows at the moment).\r\n\r\nRegards,"}}
{"actor":{"display_login":"mayconbeserra"}}