{"action":"created","issue":{"url":"https://api.github.com/repos/mirage/mirage-skeleton/issues/135","repository_url":"https://api.github.com/repos/mirage/mirage-skeleton","labels_url":"https://api.github.com/repos/mirage/mirage-skeleton/issues/135/labels{/name}","comments_url":"https://api.github.com/repos/mirage/mirage-skeleton/issues/135/comments","events_url":"https://api.github.com/repos/mirage/mirage-skeleton/issues/135/events","html_url":"https://github.com/mirage/mirage-skeleton/pull/135","id":146295373,"number":135,"title":"do not run tracing since it breaks #133","user":{"login":"hannesm","id":228456,"avatar_url":"https://avatars.githubusercontent.com/u/228456?v=3","gravatar_id":"","url":"https://api.github.com/users/hannesm","html_url":"https://github.com/hannesm","followers_url":"https://api.github.com/users/hannesm/followers","following_url":"https://api.github.com/users/hannesm/following{/other_user}","gists_url":"https://api.github.com/users/hannesm/gists{/gist_id}","starred_url":"https://api.github.com/users/hannesm/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/hannesm/subscriptions","organizations_url":"https://api.github.com/users/hannesm/orgs","repos_url":"https://api.github.com/users/hannesm/repos","events_url":"https://api.github.com/users/hannesm/events{/privacy}","received_events_url":"https://api.github.com/users/hannesm/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":5,"created_at":"2016-04-06T12:10:28Z","updated_at":"2016-04-07T10:43:51Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/mirage/mirage-skeleton/pulls/135","html_url":"https://github.com/mirage/mirage-skeleton/pull/135","diff_url":"https://github.com/mirage/mirage-skeleton/pull/135.diff","patch_url":"https://github.com/mirage/mirage-skeleton/pull/135.patch"},"body":"(mainly to look whether travis is happy with the rest)"},"comment":{"url":"https://api.github.com/repos/mirage/mirage-skeleton/issues/comments/206805527","html_url":"https://github.com/mirage/mirage-skeleton/pull/135#issuecomment-206805527","issue_url":"https://api.github.com/repos/mirage/mirage-skeleton/issues/135","id":206805527,"user":{"login":"talex5","id":554131,"avatar_url":"https://avatars.githubusercontent.com/u/554131?v=3","gravatar_id":"","url":"https://api.github.com/users/talex5","html_url":"https://github.com/talex5","followers_url":"https://api.github.com/users/talex5/followers","following_url":"https://api.github.com/users/talex5/following{/other_user}","gists_url":"https://api.github.com/users/talex5/gists{/gist_id}","starred_url":"https://api.github.com/users/talex5/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/talex5/subscriptions","organizations_url":"https://api.github.com/users/talex5/orgs","repos_url":"https://api.github.com/users/talex5/repos","events_url":"https://api.github.com/users/talex5/events{/privacy}","received_events_url":"https://api.github.com/users/talex5/received_events","type":"User","site_admin":false},"created_at":"2016-04-07T10:43:51Z","updated_at":"2016-04-07T10:43:51Z","body":"Could you try with this pin:\r\n\r\n    opam pin add mirage-profile \"https://github.com/talex5/mirage-profile.git#fix-u1204\""}}