{"action":"created","comment":{"url":"https://api.github.com/repos/Microsoft/CodeContracts/pulls/comments/33870922","id":33870922,"diff_hunk":"@@ -0,0 +1,394 @@\n+﻿using System;\n+using System.Collections;\n+using System.Collections.Generic;\n+using System.Diagnostics;\n+using System.Diagnostics.Contracts;\n+using System.Reflection;\n+using System.Runtime;\n+using System.Runtime.InteropServices;\n+\n+namespace System.Collections.ObjectModel\n+{\n+    // Summary:\n+    //     Provides the base class for a generic collection.\n+    //\n+    // Type parameters:\n+    //   T:\n+    //     The type of elements in the collection.\n+    public class Collection<T> : IList<T>, ICollection<T>, IEnumerable<T>, IList, ICollection, IEnumerable\n+    {\n+        // Summary:\n+        //     Initializes a new instance of the System.Collections.ObjectModel.Collection<T>\n+        //     class that is empty.\n+        public Collection()\n+        {\n+        }\n+\n+        //\n+        // Summary:\n+        //     Initializes a new instance of the System.Collections.ObjectModel.Collection<T>\n+        //     class as a wrapper for the specified list.\n+        //\n+        // Parameters:\n+        //   list:\n+        //     The list that is wrapped by the new collection.\n+        //\n+        // Exceptions:\n+        //   System.ArgumentNullException:\n+        //     list is null.\n+        public Collection(IList<T> list)\n+        {\n+            Contract.Requires(list != null);\n+        }\n+\n+        // Summary:\n+        //     Gets the number of elements actually contained in the System.Collections.ObjectModel.Collection<T>.\n+        //\n+        // Returns:\n+        //     The number of elements actually contained in the System.Collections.ObjectModel.Collection<T>.\n+        public int Count\n+        {\n+            get\n+            {\n+                return 0;\n+            }\n+        }\n+\n+        bool ICollection.IsSynchronized\n+        {\n+            get\n+            {\n+                throw new NotImplementedException();\n+            }\n+        }\n+\n+        object ICollection.SyncRoot\n+        {\n+            get\n+            {\n+                throw new NotImplementedException();\n+            }\n+        }\n+\n+        void ICollection.CopyTo(Array array, int index)\n+        {\n+            throw new NotImplementedException();\n+        }\n+\n+        bool IList.IsFixedSize\n+        {\n+            get\n+            {\n+                throw new NotImplementedException();\n+            }\n+        }\n+\n+        bool IList.IsReadOnly\n+        {\n+            get\n+            {\n+                throw new NotImplementedException();\n+            }\n+        }\n+\n+        object IList.this[int index]\n+        {\n+            get\n+            {\n+                throw new NotImplementedException();\n+            }\n+            set\n+            {\n+                throw new NotImplementedException();\n+            }\n+        }\n+\n+        bool ICollection<T>.IsReadOnly\n+        {\n+            get\n+            {\n+                throw new NotImplementedException();\n+            }\n+        }\n+\n+        //\n+        // Summary:\n+        //     Gets a System.Collections.Generic.IList<T> wrapper around the System.Collections.ObjectModel.Collection<T>.\n+        //\n+        // Returns:\n+        //     A System.Collections.Generic.IList<T> wrapper around the System.Collections.ObjectModel.Collection<T>.\n+        protected IList<T> Items\n+        {\n+            get\n+            {\n+                Contract.Ensures(Contract.Result<IList<T>>() != null);\n+                return null;\n+            }\n+        }\n+\n+        // Summary:\n+        //     Gets or sets the element at the specified index.\n+        //\n+        // Parameters:\n+        //   index:\n+        //     The zero-based index of the element to get or set.\n+        //\n+        // Returns:\n+        //     The element at the specified index.\n+        //\n+        // Exceptions:\n+        //   System.ArgumentOutOfRangeException:\n+        //     index is less than zero.-or-index is equal to or greater than System.Collections.ObjectModel.Collection<T>.Count.\n+        public T this[int index] {\n+            get\n+            {\n+                return default(T);\n+            }\n+            set\n+            {\n+            } \n+        }\n+\n+        // Summary:\n+        //     Adds an object to the end of the System.Collections.ObjectModel.Collection<T>.\n+        //\n+        // Parameters:\n+        //   item:\n+        //     The object to be added to the end of the System.Collections.ObjectModel.Collection<T>.\n+        //     The value can be null for reference types.\n+        public void Add(T item)\n+        {\n+            \n+        }\n+        //\n+        // Summary:\n+        //     Removes all elements from the System.Collections.ObjectModel.Collection<T>.\n+\n+        int IList.Add(object value)\n+        {\n+            throw new NotImplementedException();\n+        }\n+\n+        public void Clear()\n+        {\n+            \n+        }\n+\n+        bool IList.Contains(object value)\n+        {\n+            throw new NotImplementedException();\n+        }\n+\n+        int IList.IndexOf(object value)\n+        {\n+            throw new NotImplementedException();\n+        }\n+\n+        void IList.Insert(int index, object value)\n+        {\n+            throw new NotImplementedException();\n+        }\n+\n+        void IList.Remove(object value)\n+        {\n+            throw new NotImplementedException();\n+        }\n+\n+        //\n+        // Summary:\n+        //     Removes all elements from the System.Collections.ObjectModel.Collection<T>.\n+        protected virtual void ClearItems()\n+        {\n+            \n+        }\n+        //\n+        // Summary:\n+        //     Determines whether an element is in the System.Collections.ObjectModel.Collection<T>.\n+        //\n+        // Parameters:\n+        //   item:\n+        //     The object to locate in the System.Collections.ObjectModel.Collection<T>.\n+        //     The value can be null for reference types.\n+        //\n+        // Returns:\n+        //     true if item is found in the System.Collections.ObjectModel.Collection<T>;\n+        //     otherwise, false.\n+        public bool Contains(T item)\n+        {\n+            return false;\n+        }\n+        //\n+        // Summary:\n+        //     Copies the entire System.Collections.ObjectModel.Collection<T> to a compatible\n+        //     one-dimensional System.Array, starting at the specified index of the target\n+        //     array.\n+        //\n+        // Parameters:\n+        //   array:\n+        //     The one-dimensional System.Array that is the destination of the elements\n+        //     copied from System.Collections.ObjectModel.Collection<T>. The System.Array\n+        //     must have zero-based indexing.\n+        //\n+        //   index:\n+        //     The zero-based index in array at which copying begins.\n+        //\n+        // Exceptions:\n+        //   System.ArgumentNullException:\n+        //     array is null.\n+        //\n+        //   System.ArgumentOutOfRangeException:\n+        //     index is less than zero.\n+        //\n+        //   System.ArgumentException:\n+        //     The number of elements in the source System.Collections.ObjectModel.Collection<T>\n+        //     is greater than the available space from index to the end of the destination\n+        //     array.\n+        public void CopyTo(T[] array, int index)\n+        {\n+           \n+        }\n+        //\n+        // Summary:\n+        //     Returns an enumerator that iterates through the System.Collections.ObjectModel.Collection<T>.\n+        //\n+        // Returns:\n+        //     An System.Collections.Generic.IEnumerator<T> for the System.Collections.ObjectModel.Collection<T>.\n+        public IEnumerator<T> GetEnumerator()\n+        {\n+            return null;\n+        }\n+\n+        [ContractModel]\n+        public object[] Model\n+        {\n+            [ContractRuntimeIgnored]\n+            get\n+            {\n+                throw new NotImplementedException();\n+            }\n+        }\n+\n+        //\n+        // Summary:\n+        //     Searches for the specified object and returns the zero-based index of the\n+        //     first occurrence within the entire System.Collections.ObjectModel.Collection<T>.\n+        //\n+        // Parameters:\n+        //   item:\n+        //     The object to locate in the System.Collections.Generic.List<T>. The value\n+        //     can be null for reference types.\n+        //\n+        // Returns:\n+        //     The zero-based index of the first occurrence of item within the entire System.Collections.ObjectModel.Collection<T>,\n+        //     if found; otherwise, -1.\n+        public int IndexOf(T item)\n+        {\n+            return 0;\n+        }\n+        //\n+        // Summary:\n+        //     Inserts an element into the System.Collections.ObjectModel.Collection<T>\n+        //     at the specified index.\n+        //\n+        // Parameters:\n+        //   index:\n+        //     The zero-based index at which item should be inserted.\n+        //\n+        //   item:\n+        //     The object to insert. The value can be null for reference types.\n+        //\n+        // Exceptions:\n+        //   System.ArgumentOutOfRangeException:\n+        //     index is less than zero.-or-index is greater than System.Collections.ObjectModel.Collection<T>.Count.\n+        public void Insert(int index, T item)\n+        {\n+            \n+        }\n+        //\n+        // Summary:\n+        //     Inserts an element into the System.Collections.ObjectModel.Collection<T>\n+        //     at the specified index.\n+        //\n+        // Parameters:\n+        //   index:\n+        //     The zero-based index at which item should be inserted.\n+        //\n+        //   item:\n+        //     The object to insert. The value can be null for reference types.\n+        //\n+        // Exceptions:\n+        //   System.ArgumentOutOfRangeException:\n+        //     index is less than zero.-or-index is greater than System.Collections.ObjectModel.Collection<T>.Count.\n+        protected virtual void InsertItem(int index, T item)","path":"Microsoft.Research/Contracts/MsCorlib/System.Collections.ObjectModel.Collection.cs","position":322,"original_position":322,"commit_id":"164de22bbccc41cc9f65fc4e0d3d677d6e8966bf","original_commit_id":"164de22bbccc41cc9f65fc4e0d3d677d6e8966bf","user":{"login":"sharwell","id":1408396,"avatar_url":"https://avatars.githubusercontent.com/u/1408396?v=3","gravatar_id":"","url":"https://api.github.com/users/sharwell","html_url":"https://github.com/sharwell","followers_url":"https://api.github.com/users/sharwell/followers","following_url":"https://api.github.com/users/sharwell/following{/other_user}","gists_url":"https://api.github.com/users/sharwell/gists{/gist_id}","starred_url":"https://api.github.com/users/sharwell/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/sharwell/subscriptions","organizations_url":"https://api.github.com/users/sharwell/orgs","repos_url":"https://api.github.com/users/sharwell/repos","events_url":"https://api.github.com/users/sharwell/events{/privacy}","received_events_url":"https://api.github.com/users/sharwell/received_events","type":"User","site_admin":false},"body":":question: Should this have a contract?\r\n\r\n```csharp\r\nContract.Requires(index >= 0 && index <= Count);\r\n```","created_at":"2015-07-03T15:30:55Z","updated_at":"2015-07-03T15:30:55Z","html_url":"https://github.com/Microsoft/CodeContracts/pull/84#discussion_r33870922","pull_request_url":"https://api.github.com/repos/Microsoft/CodeContracts/pulls/84","_links":{"self":{"href":"https://api.github.com/repos/Microsoft/CodeContracts/pulls/comments/33870922"},"html":{"href":"https://github.com/Microsoft/CodeContracts/pull/84#discussion_r33870922"},"pull_request":{"href":"https://api.github.com/repos/Microsoft/CodeContracts/pulls/84"}}},"pull_request":{"url":"https://api.github.com/repos/Microsoft/CodeContracts/pulls/84","id":39179741,"html_url":"https://github.com/Microsoft/CodeContracts/pull/84","diff_url":"https://github.com/Microsoft/CodeContracts/pull/84.diff","patch_url":"https://github.com/Microsoft/CodeContracts/pull/84.patch","issue_url":"https://api.github.com/repos/Microsoft/CodeContracts/issues/84","number":84,"state":"open","locked":false,"title":"Fix various system contracts","user":{"login":"tom-englert","id":10229954,"avatar_url":"https://avatars.githubusercontent.com/u/10229954?v=3","gravatar_id":"","url":"https://api.github.com/users/tom-englert","html_url":"https://github.com/tom-englert","followers_url":"https://api.github.com/users/tom-englert/followers","following_url":"https://api.github.com/users/tom-englert/following{/other_user}","gists_url":"https://api.github.com/users/tom-englert/gists{/gist_id}","starred_url":"https://api.github.com/users/tom-englert/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/tom-englert/subscriptions","organizations_url":"https://api.github.com/users/tom-englert/orgs","repos_url":"https://api.github.com/users/tom-englert/repos","events_url":"https://api.github.com/users/tom-englert/events{/privacy}","received_events_url":"https://api.github.com/users/tom-englert/received_events","type":"User","site_admin":false},"body":"Fix a lot of buggy system contracts","created_at":"2015-07-03T14:31:31Z","updated_at":"2015-07-03T15:30:55Z","closed_at":null,"merged_at":null,"merge_commit_sha":"b5b7f4c144f6d01cd6a476357b65e978c4caaf01","assignee":null,"milestone":null,"commits_url":"https://api.github.com/repos/Microsoft/CodeContracts/pulls/84/commits","review_comments_url":"https://api.github.com/repos/Microsoft/CodeContracts/pulls/84/comments","review_comment_url":"https://api.github.com/repos/Microsoft/CodeContracts/pulls/comments{/number}","comments_url":"https://api.github.com/repos/Microsoft/CodeContracts/issues/84/comments","statuses_url":"https://api.github.com/repos/Microsoft/CodeContracts/statuses/164de22bbccc41cc9f65fc4e0d3d677d6e8966bf","head":{"label":"tom-englert:ContractFixes","ref":"ContractFixes","sha":"164de22bbccc41cc9f65fc4e0d3d677d6e8966bf","user":{"login":"tom-englert","id":10229954,"avatar_url":"https://avatars.githubusercontent.com/u/10229954?v=3","gravatar_id":"","url":"https://api.github.com/users/tom-englert","html_url":"https://github.com/tom-englert","followers_url":"https://api.github.com/users/tom-englert/followers","following_url":"https://api.github.com/users/tom-englert/following{/other_user}","gists_url":"https://api.github.com/users/tom-englert/gists{/gist_id}","starred_url":"https://api.github.com/users/tom-englert/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/tom-englert/subscriptions","organizations_url":"https://api.github.com/users/tom-englert/orgs","repos_url":"https://api.github.com/users/tom-englert/repos","events_url":"https://api.github.com/users/tom-englert/events{/privacy}","received_events_url":"https://api.github.com/users/tom-englert/received_events","type":"User","site_admin":false},"repo":{"id":32254016,"name":"CodeContracts","full_name":"tom-englert/CodeContracts","owner":{"login":"tom-englert","id":10229954,"avatar_url":"https://avatars.githubusercontent.com/u/10229954?v=3","gravatar_id":"","url":"https://api.github.com/users/tom-englert","html_url":"https://github.com/tom-englert","followers_url":"https://api.github.com/users/tom-englert/followers","following_url":"https://api.github.com/users/tom-englert/following{/other_user}","gists_url":"https://api.github.com/users/tom-englert/gists{/gist_id}","starred_url":"https://api.github.com/users/tom-englert/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/tom-englert/subscriptions","organizations_url":"https://api.github.com/users/tom-englert/orgs","repos_url":"https://api.github.com/users/tom-englert/repos","events_url":"https://api.github.com/users/tom-englert/events{/privacy}","received_events_url":"https://api.github.com/users/tom-englert/received_events","type":"User","site_admin":false},"private":false,"html_url":"https://github.com/tom-englert/CodeContracts","description":"Source code for the CodeContracts tools for .NET","fork":true,"url":"https://api.github.com/repos/tom-englert/CodeContracts","forks_url":"https://api.github.com/repos/tom-englert/CodeContracts/forks","keys_url":"https://api.github.com/repos/tom-englert/CodeContracts/keys{/key_id}","collaborators_url":"https://api.github.com/repos/tom-englert/CodeContracts/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/tom-englert/CodeContracts/teams","hooks_url":"https://api.github.com/repos/tom-englert/CodeContracts/hooks","issue_events_url":"https://api.github.com/repos/tom-englert/CodeContracts/issues/events{/number}","events_url":"https://api.github.com/repos/tom-englert/CodeContracts/events","assignees_url":"https://api.github.com/repos/tom-englert/CodeContracts/assignees{/user}","branches_url":"https://api.github.com/repos/tom-englert/CodeContracts/branches{/branch}","tags_url":"https://api.github.com/repos/tom-englert/CodeContracts/tags","blobs_url":"https://api.github.com/repos/tom-englert/CodeContracts/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/tom-englert/CodeContracts/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/tom-englert/CodeContracts/git/refs{/sha}","trees_url":"https://api.github.com/repos/tom-englert/CodeContracts/git/trees{/sha}","statuses_url":"https://api.github.com/repos/tom-englert/CodeContracts/statuses/{sha}","languages_url":"https://api.github.com/repos/tom-englert/CodeContracts/languages","stargazers_url":"https://api.github.com/repos/tom-englert/CodeContracts/stargazers","contributors_url":"https://api.github.com/repos/tom-englert/CodeContracts/contributors","subscribers_url":"https://api.github.com/repos/tom-englert/CodeContracts/subscribers","subscription_url":"https://api.github.com/repos/tom-englert/CodeContracts/subscription","commits_url":"https://api.github.com/repos/tom-englert/CodeContracts/commits{/sha}","git_commits_url":"https://api.github.com/repos/tom-englert/CodeContracts/git/commits{/sha}","comments_url":"https://api.github.com/repos/tom-englert/CodeContracts/comments{/number}","issue_comment_url":"https://api.github.com/repos/tom-englert/CodeContracts/issues/comments{/number}","contents_url":"https://api.github.com/repos/tom-englert/CodeContracts/contents/{+path}","compare_url":"https://api.github.com/repos/tom-englert/CodeContracts/compare/{base}...{head}","merges_url":"https://api.github.com/repos/tom-englert/CodeContracts/merges","archive_url":"https://api.github.com/repos/tom-englert/CodeContracts/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/tom-englert/CodeContracts/downloads","issues_url":"https://api.github.com/repos/tom-englert/CodeContracts/issues{/number}","pulls_url":"https://api.github.com/repos/tom-englert/CodeContracts/pulls{/number}","milestones_url":"https://api.github.com/repos/tom-englert/CodeContracts/milestones{/number}","notifications_url":"https://api.github.com/repos/tom-englert/CodeContracts/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/tom-englert/CodeContracts/labels{/name}","releases_url":"https://api.github.com/repos/tom-englert/CodeContracts/releases{/id}","created_at":"2015-03-15T10:06:24Z","updated_at":"2015-05-05T11:53:52Z","pushed_at":"2015-07-03T14:53:22Z","git_url":"git://github.com/tom-englert/CodeContracts.git","ssh_url":"git@github.com:tom-englert/CodeContracts.git","clone_url":"https://github.com/tom-englert/CodeContracts.git","svn_url":"https://github.com/tom-englert/CodeContracts","homepage":null,"size":235020,"stargazers_count":1,"watchers_count":1,"language":"C#","has_issues":false,"has_downloads":true,"has_wiki":true,"has_pages":false,"forks_count":0,"mirror_url":null,"open_issues_count":0,"forks":0,"open_issues":0,"watchers":1,"default_branch":"master"}},"base":{"label":"Microsoft:master","ref":"master","sha":"8ff50912bcf9f9948a6ee480fd83e7a6584d9937","user":{"login":"Microsoft","id":6154722,"avatar_url":"https://avatars.githubusercontent.com/u/6154722?v=3","gravatar_id":"","url":"https://api.github.com/users/Microsoft","html_url":"https://github.com/Microsoft","followers_url":"https://api.github.com/users/Microsoft/followers","following_url":"https://api.github.com/users/Microsoft/following{/other_user}","gists_url":"https://api.github.com/users/Microsoft/gists{/gist_id}","starred_url":"https://api.github.com/users/Microsoft/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Microsoft/subscriptions","organizations_url":"https://api.github.com/users/Microsoft/orgs","repos_url":"https://api.github.com/users/Microsoft/repos","events_url":"https://api.github.com/users/Microsoft/events{/privacy}","received_events_url":"https://api.github.com/users/Microsoft/received_events","type":"Organization","site_admin":false},"repo":{"id":28880434,"name":"CodeContracts","full_name":"Microsoft/CodeContracts","owner":{"login":"Microsoft","id":6154722,"avatar_url":"https://avatars.githubusercontent.com/u/6154722?v=3","gravatar_id":"","url":"https://api.github.com/users/Microsoft","html_url":"https://github.com/Microsoft","followers_url":"https://api.github.com/users/Microsoft/followers","following_url":"https://api.github.com/users/Microsoft/following{/other_user}","gists_url":"https://api.github.com/users/Microsoft/gists{/gist_id}","starred_url":"https://api.github.com/users/Microsoft/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Microsoft/subscriptions","organizations_url":"https://api.github.com/users/Microsoft/orgs","repos_url":"https://api.github.com/users/Microsoft/repos","events_url":"https://api.github.com/users/Microsoft/events{/privacy}","received_events_url":"https://api.github.com/users/Microsoft/received_events","type":"Organization","site_admin":false},"private":false,"html_url":"https://github.com/Microsoft/CodeContracts","description":"Source code for the CodeContracts tools for .NET","fork":false,"url":"https://api.github.com/repos/Microsoft/CodeContracts","forks_url":"https://api.github.com/repos/Microsoft/CodeContracts/forks","keys_url":"https://api.github.com/repos/Microsoft/CodeContracts/keys{/key_id}","collaborators_url":"https://api.github.com/repos/Microsoft/CodeContracts/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/Microsoft/CodeContracts/teams","hooks_url":"https://api.github.com/repos/Microsoft/CodeContracts/hooks","issue_events_url":"https://api.github.com/repos/Microsoft/CodeContracts/issues/events{/number}","events_url":"https://api.github.com/repos/Microsoft/CodeContracts/events","assignees_url":"https://api.github.com/repos/Microsoft/CodeContracts/assignees{/user}","branches_url":"https://api.github.com/repos/Microsoft/CodeContracts/branches{/branch}","tags_url":"https://api.github.com/repos/Microsoft/CodeContracts/tags","blobs_url":"https://api.github.com/repos/Microsoft/CodeContracts/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/Microsoft/CodeContracts/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/Microsoft/CodeContracts/git/refs{/sha}","trees_url":"https://api.github.com/repos/Microsoft/CodeContracts/git/trees{/sha}","statuses_url":"https://api.github.com/repos/Microsoft/CodeContracts/statuses/{sha}","languages_url":"https://api.github.com/repos/Microsoft/CodeContracts/languages","stargazers_url":"https://api.github.com/repos/Microsoft/CodeContracts/stargazers","contributors_url":"https://api.github.com/repos/Microsoft/CodeContracts/contributors","subscribers_url":"https://api.github.com/repos/Microsoft/CodeContracts/subscribers","subscription_url":"https://api.github.com/repos/Microsoft/CodeContracts/subscription","commits_url":"https://api.github.com/repos/Microsoft/CodeContracts/commits{/sha}","git_commits_url":"https://api.github.com/repos/Microsoft/CodeContracts/git/commits{/sha}","comments_url":"https://api.github.com/repos/Microsoft/CodeContracts/comments{/number}","issue_comment_url":"https://api.github.com/repos/Microsoft/CodeContracts/issues/comments{/number}","contents_url":"https://api.github.com/repos/Microsoft/CodeContracts/contents/{+path}","compare_url":"https://api.github.com/repos/Microsoft/CodeContracts/compare/{base}...{head}","merges_url":"https://api.github.com/repos/Microsoft/CodeContracts/merges","archive_url":"https://api.github.com/repos/Microsoft/CodeContracts/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/Microsoft/CodeContracts/downloads","issues_url":"https://api.github.com/repos/Microsoft/CodeContracts/issues{/number}","pulls_url":"https://api.github.com/repos/Microsoft/CodeContracts/pulls{/number}","milestones_url":"https://api.github.com/repos/Microsoft/CodeContracts/milestones{/number}","notifications_url":"https://api.github.com/repos/Microsoft/CodeContracts/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/Microsoft/CodeContracts/labels{/name}","releases_url":"https://api.github.com/repos/Microsoft/CodeContracts/releases{/id}","created_at":"2015-01-06T19:48:32Z","updated_at":"2015-07-03T11:04:36Z","pushed_at":"2015-07-03T14:53:22Z","git_url":"git://github.com/Microsoft/CodeContracts.git","ssh_url":"git@github.com:Microsoft/CodeContracts.git","clone_url":"https://github.com/Microsoft/CodeContracts.git","svn_url":"https://github.com/Microsoft/CodeContracts","homepage":null,"size":250636,"stargazers_count":227,"watchers_count":227,"language":"C#","has_issues":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"forks_count":39,"mirror_url":null,"open_issues_count":52,"forks":39,"open_issues":52,"watchers":227,"default_branch":"master"}},"_links":{"self":{"href":"https://api.github.com/repos/Microsoft/CodeContracts/pulls/84"},"html":{"href":"https://github.com/Microsoft/CodeContracts/pull/84"},"issue":{"href":"https://api.github.com/repos/Microsoft/CodeContracts/issues/84"},"comments":{"href":"https://api.github.com/repos/Microsoft/CodeContracts/issues/84/comments"},"review_comments":{"href":"https://api.github.com/repos/Microsoft/CodeContracts/pulls/84/comments"},"review_comment":{"href":"https://api.github.com/repos/Microsoft/CodeContracts/pulls/comments{/number}"},"commits":{"href":"https://api.github.com/repos/Microsoft/CodeContracts/pulls/84/commits"},"statuses":{"href":"https://api.github.com/repos/Microsoft/CodeContracts/statuses/164de22bbccc41cc9f65fc4e0d3d677d6e8966bf"}}}}