{"action":"opened","issue":{"url":"https://api.github.com/repos/gaudecker/proto/issues/2","repository_url":"https://api.github.com/repos/gaudecker/proto","labels_url":"https://api.github.com/repos/gaudecker/proto/issues/2/labels{/name}","comments_url":"https://api.github.com/repos/gaudecker/proto/issues/2/comments","events_url":"https://api.github.com/repos/gaudecker/proto/issues/2/events","html_url":"https://github.com/gaudecker/proto/issues/2","id":178857519,"number":2,"title":"Workspace format","user":{"login":"gaudecker","id":872609,"avatar_url":"https://avatars.githubusercontent.com/u/872609?v=3","gravatar_id":"","url":"https://api.github.com/users/gaudecker","html_url":"https://github.com/gaudecker","followers_url":"https://api.github.com/users/gaudecker/followers","following_url":"https://api.github.com/users/gaudecker/following{/other_user}","gists_url":"https://api.github.com/users/gaudecker/gists{/gist_id}","starred_url":"https://api.github.com/users/gaudecker/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/gaudecker/subscriptions","organizations_url":"https://api.github.com/users/gaudecker/orgs","repos_url":"https://api.github.com/users/gaudecker/repos","events_url":"https://api.github.com/users/gaudecker/events{/privacy}","received_events_url":"https://api.github.com/users/gaudecker/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":0,"created_at":"2016-09-23T11:53:05Z","updated_at":"2016-09-23T11:53:05Z","closed_at":null,"body":"Currently workspaces are just a list of directories, like `(\"/home/user/work\")`, and when listing projects, projects from all workspaces are mixed. Instead we should have explicitly separate workspaces with their own metadata (even workspace-specific commands!).\r\n\r\nBelow is a possible data format for defining workspaces:\r\n\r\n```elisp\r\n((work (:path \"/home/user/work\"\r\n        :description \"Work related projects\")\r\n (personal (:path \"/home/user/personal\"))))\r\n```"}}
{"actor":{"display_login":"gaudecker"}}