{"action":"created","issue":{"url":"https://api.github.com/repos/mit-plv/fiat-crypto/issues/470","repository_url":"https://api.github.com/repos/mit-plv/fiat-crypto","labels_url":"https://api.github.com/repos/mit-plv/fiat-crypto/issues/470/labels{/name}","comments_url":"https://api.github.com/repos/mit-plv/fiat-crypto/issues/470/comments","events_url":"https://api.github.com/repos/mit-plv/fiat-crypto/issues/470/events","html_url":"https://github.com/mit-plv/fiat-crypto/issues/470","id":393700287,"node_id":"MDU6SXNzdWUzOTM3MDAyODc=","number":470,"title":"building on builds.sr.ht","user":{"login":"andres-erbsen","id":918403,"node_id":"MDQ6VXNlcjkxODQwMw==","avatar_url":"https://avatars0.githubusercontent.com/u/918403?v=4","gravatar_id":"","url":"https://api.github.com/users/andres-erbsen","html_url":"https://github.com/andres-erbsen","followers_url":"https://api.github.com/users/andres-erbsen/followers","following_url":"https://api.github.com/users/andres-erbsen/following{/other_user}","gists_url":"https://api.github.com/users/andres-erbsen/gists{/gist_id}","starred_url":"https://api.github.com/users/andres-erbsen/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/andres-erbsen/subscriptions","organizations_url":"https://api.github.com/users/andres-erbsen/orgs","repos_url":"https://api.github.com/users/andres-erbsen/repos","events_url":"https://api.github.com/users/andres-erbsen/events{/privacy}","received_events_url":"https://api.github.com/users/andres-erbsen/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":1,"created_at":"2018-12-22T20:15:42Z","updated_at":"2018-12-26T13:11:24Z","closed_at":null,"author_association":"CONTRIBUTOR","body":"```sh\r\nimage: archlinux\r\npackages:\r\n  - coq\r\nsources:\r\n  - https://github.com/mit-plv/fiat-crypto\r\ntasks:\r\n  - build: |\r\n      cd fiat-crypto\r\n      make \"-j$(nproc)\"\r\n```\r\n\r\ncurrently running at https://builds.sr.ht/~andres/job/17440"},"comment":{"url":"https://api.github.com/repos/mit-plv/fiat-crypto/issues/comments/449964840","html_url":"https://github.com/mit-plv/fiat-crypto/issues/470#issuecomment-449964840","issue_url":"https://api.github.com/repos/mit-plv/fiat-crypto/issues/470","id":449964840,"node_id":"MDEyOklzc3VlQ29tbWVudDQ0OTk2NDg0MA==","user":{"login":"andres-erbsen","id":918403,"node_id":"MDQ6VXNlcjkxODQwMw==","avatar_url":"https://avatars0.githubusercontent.com/u/918403?v=4","gravatar_id":"","url":"https://api.github.com/users/andres-erbsen","html_url":"https://github.com/andres-erbsen","followers_url":"https://api.github.com/users/andres-erbsen/followers","following_url":"https://api.github.com/users/andres-erbsen/following{/other_user}","gists_url":"https://api.github.com/users/andres-erbsen/gists{/gist_id}","starred_url":"https://api.github.com/users/andres-erbsen/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/andres-erbsen/subscriptions","organizations_url":"https://api.github.com/users/andres-erbsen/orgs","repos_url":"https://api.github.com/users/andres-erbsen/repos","events_url":"https://api.github.com/users/andres-erbsen/events{/privacy}","received_events_url":"https://api.github.com/users/andres-erbsen/received_events","type":"User","site_admin":false},"created_at":"2018-12-26T13:11:24Z","updated_at":"2018-12-26T13:11:24Z","author_association":"CONTRIBUTOR","body":"so I heard back from sr.ht author that the permissions situation is an inherent limitation of the github api (adding webhooks is not it's own permission, it requires settings access). I'm guessing there still works have been a more github-specific way of doing this but given that sr.ht is a direct competitor of github it makes sense that they don't put in extra effort for things that would be tied to github."}}
{"actor":{"display_login":"andres-erbsen"}}