{"action":"created","issue":{"url":"https://api.github.com/repos/ambiata/mafia/issues/45","labels_url":"https://api.github.com/repos/ambiata/mafia/issues/45/labels{/name}","comments_url":"https://api.github.com/repos/ambiata/mafia/issues/45/comments","events_url":"https://api.github.com/repos/ambiata/mafia/issues/45/events","html_url":"https://github.com/ambiata/mafia/pull/45","id":125513710,"number":45,"title":"Fix annoyance where add-source dependencies are built twice","user":{"login":"jystic","id":134805,"avatar_url":"https://avatars.githubusercontent.com/u/134805?v=3","gravatar_id":"","url":"https://api.github.com/users/jystic","html_url":"https://github.com/jystic","followers_url":"https://api.github.com/users/jystic/followers","following_url":"https://api.github.com/users/jystic/following{/other_user}","gists_url":"https://api.github.com/users/jystic/gists{/gist_id}","starred_url":"https://api.github.com/users/jystic/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/jystic/subscriptions","organizations_url":"https://api.github.com/users/jystic/orgs","repos_url":"https://api.github.com/users/jystic/repos","events_url":"https://api.github.com/users/jystic/events{/privacy}","received_events_url":"https://api.github.com/users/jystic/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":1,"created_at":"2016-01-08T00:11:05Z","updated_at":"2016-01-08T03:44:53Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/ambiata/mafia/pulls/45","html_url":"https://github.com/ambiata/mafia/pull/45","diff_url":"https://github.com/ambiata/mafia/pull/45.diff","patch_url":"https://github.com/ambiata/mafia/pull/45.patch"},"body":"People might have noticed that sometimes on the build bot, source dependencies are being built twice.\r\n\r\nThis is because an older version of mafia has called 'cabal sandbox add-source' for each of the source dependencies and cabal thinks that it needs to build them, even though that have already been built.\r\n\r\nYou can fix this by just clearing the workspace on jenkins, but this fix provides a smoother upgrade and also prevents against problems with users calling add-source themselves.\r\n\r\n/cc @charleso @nhibberd @markhibberd "},"comment":{"url":"https://api.github.com/repos/ambiata/mafia/issues/comments/169884747","html_url":"https://github.com/ambiata/mafia/pull/45#issuecomment-169884747","issue_url":"https://api.github.com/repos/ambiata/mafia/issues/45","id":169884747,"user":{"login":"nhibberd","id":447873,"avatar_url":"https://avatars.githubusercontent.com/u/447873?v=3","gravatar_id":"","url":"https://api.github.com/users/nhibberd","html_url":"https://github.com/nhibberd","followers_url":"https://api.github.com/users/nhibberd/followers","following_url":"https://api.github.com/users/nhibberd/following{/other_user}","gists_url":"https://api.github.com/users/nhibberd/gists{/gist_id}","starred_url":"https://api.github.com/users/nhibberd/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/nhibberd/subscriptions","organizations_url":"https://api.github.com/users/nhibberd/orgs","repos_url":"https://api.github.com/users/nhibberd/repos","events_url":"https://api.github.com/users/nhibberd/events{/privacy}","received_events_url":"https://api.github.com/users/nhibberd/received_events","type":"User","site_admin":false},"created_at":"2016-01-08T03:44:53Z","updated_at":"2016-01-08T03:44:53Z","body":"Sounds legit :facepunch: "}}