{"action":"opened","issue":{"url":"https://api.github.com/repos/freebroccolo/vscode-redprl/issues/5","repository_url":"https://api.github.com/repos/freebroccolo/vscode-redprl","labels_url":"https://api.github.com/repos/freebroccolo/vscode-redprl/issues/5/labels{/name}","comments_url":"https://api.github.com/repos/freebroccolo/vscode-redprl/issues/5/comments","events_url":"https://api.github.com/repos/freebroccolo/vscode-redprl/issues/5/events","html_url":"https://github.com/freebroccolo/vscode-redprl/issues/5","id":186440934,"number":5,"title":"Codelens to display remaining goals","user":{"login":"freebroccolo","id":151197,"avatar_url":"https://avatars.githubusercontent.com/u/151197?v=3","gravatar_id":"","url":"https://api.github.com/users/freebroccolo","html_url":"https://github.com/freebroccolo","followers_url":"https://api.github.com/users/freebroccolo/followers","following_url":"https://api.github.com/users/freebroccolo/following{/other_user}","gists_url":"https://api.github.com/users/freebroccolo/gists{/gist_id}","starred_url":"https://api.github.com/users/freebroccolo/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/freebroccolo/subscriptions","organizations_url":"https://api.github.com/users/freebroccolo/orgs","repos_url":"https://api.github.com/users/freebroccolo/repos","events_url":"https://api.github.com/users/freebroccolo/events{/privacy}","received_events_url":"https://api.github.com/users/freebroccolo/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":0,"created_at":"2016-11-01T01:14:19Z","updated_at":"2016-11-01T01:14:19Z","closed_at":null,"body":"It might be interesting to show the number of remaining goals above the theorems, etc. It's a little messy to calculate that currently though because we would have to determine which item the goals belong to by range inclusion or something. Doable but a lot less efficient than it could be.\r\n\r\n@jonsterling could the `Warning` output be changed to include the name of the enclosing item? That would make this trivial to implement."}}
{"actor":{"display_login":"freebroccolo"}}