{"action":"created","issue":{"url":"https://api.github.com/repos/jameshfisher/tlaplus/issues/1","labels_url":"https://api.github.com/repos/jameshfisher/tlaplus/issues/1/labels{/name}","comments_url":"https://api.github.com/repos/jameshfisher/tlaplus/issues/1/comments","events_url":"https://api.github.com/repos/jameshfisher/tlaplus/issues/1/events","html_url":"https://github.com/jameshfisher/tlaplus/issues/1","id":72973435,"number":1,"title":"tla-plus org name is misleading","user":{"login":"lemmy","id":88777,"avatar_url":"https://avatars.githubusercontent.com/u/88777?v=3","gravatar_id":"","url":"https://api.github.com/users/lemmy","html_url":"https://github.com/lemmy","followers_url":"https://api.github.com/users/lemmy/followers","following_url":"https://api.github.com/users/lemmy/following{/other_user}","gists_url":"https://api.github.com/users/lemmy/gists{/gist_id}","starred_url":"https://api.github.com/users/lemmy/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/lemmy/subscriptions","organizations_url":"https://api.github.com/users/lemmy/orgs","repos_url":"https://api.github.com/users/lemmy/repos","events_url":"https://api.github.com/users/lemmy/events{/privacy}","received_events_url":"https://api.github.com/users/lemmy/received_events","type":"User","site_admin":false},"labels":[],"state":"closed","locked":false,"assignee":null,"milestone":null,"comments":1,"created_at":"2015-05-04T09:37:46Z","updated_at":"2015-05-17T22:13:27Z","closed_at":"2015-05-17T22:13:27Z","body":"Hi James,\r\n\r\nthe tla-plus org name is misleading. It gives the false impression as if this is the \"official\" repository for the TLA+ project. Can you please alter the org name so that it becomes clear that this is your personal fork of TLA+.\r\n\r\nBtw. your patches are more than welcomed at the (official home)[http://tlaplus.codeplex.com/] of the TLA+ project.\r\n\r\nThanks\r\nMarkus Kuppe"},"comment":{"url":"https://api.github.com/repos/jameshfisher/tlaplus/issues/comments/102864431","html_url":"https://github.com/jameshfisher/tlaplus/issues/1#issuecomment-102864431","issue_url":"https://api.github.com/repos/jameshfisher/tlaplus/issues/1","id":102864431,"user":{"login":"jameshfisher","id":166966,"avatar_url":"https://avatars.githubusercontent.com/u/166966?v=3","gravatar_id":"","url":"https://api.github.com/users/jameshfisher","html_url":"https://github.com/jameshfisher","followers_url":"https://api.github.com/users/jameshfisher/followers","following_url":"https://api.github.com/users/jameshfisher/following{/other_user}","gists_url":"https://api.github.com/users/jameshfisher/gists{/gist_id}","starred_url":"https://api.github.com/users/jameshfisher/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/jameshfisher/subscriptions","organizations_url":"https://api.github.com/users/jameshfisher/orgs","repos_url":"https://api.github.com/users/jameshfisher/repos","events_url":"https://api.github.com/users/jameshfisher/events{/privacy}","received_events_url":"https://api.github.com/users/jameshfisher/received_events","type":"User","site_admin":false},"created_at":"2015-05-17T22:13:27Z","updated_at":"2015-05-17T22:13:27Z","body":"Hi Markus,\r\n\r\nSorry for that; you're totally right. I'd forgotten I had the repository at that location. I've moved it to jameshfisher/tlaplus.\r\n\r\nBest wishes,\r\n\r\nJames"}}