{"action":"created","issue":{"url":"https://api.github.com/repos/coq/coq/issues/7897","repository_url":"https://api.github.com/repos/coq/coq","labels_url":"https://api.github.com/repos/coq/coq/issues/7897/labels{/name}","comments_url":"https://api.github.com/repos/coq/coq/issues/7897/comments","events_url":"https://api.github.com/repos/coq/coq/issues/7897/events","html_url":"https://github.com/coq/coq/pull/7897","id":334849428,"node_id":"MDExOlB1bGxSZXF1ZXN0MTk2NzE1OTY3","number":7897,"title":"Remove fourier plugin","user":{"login":"maximedenes","id":647105,"node_id":"MDQ6VXNlcjY0NzEwNQ==","avatar_url":"https://avatars1.githubusercontent.com/u/647105?v=4","gravatar_id":"","url":"https://api.github.com/users/maximedenes","html_url":"https://github.com/maximedenes","followers_url":"https://api.github.com/users/maximedenes/followers","following_url":"https://api.github.com/users/maximedenes/following{/other_user}","gists_url":"https://api.github.com/users/maximedenes/gists{/gist_id}","starred_url":"https://api.github.com/users/maximedenes/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/maximedenes/subscriptions","organizations_url":"https://api.github.com/users/maximedenes/orgs","repos_url":"https://api.github.com/users/maximedenes/repos","events_url":"https://api.github.com/users/maximedenes/events{/privacy}","received_events_url":"https://api.github.com/users/maximedenes/received_events","type":"User","site_admin":false},"labels":[{"id":485985791,"node_id":"MDU6TGFiZWw0ODU5ODU3OTE=","url":"https://api.github.com/repos/coq/coq/labels/kind:%20cleanup","name":"kind: cleanup","color":"3366ff","default":false},{"id":875906802,"node_id":"MDU6TGFiZWw4NzU5MDY4MDI=","url":"https://api.github.com/repos/coq/coq/labels/needs:%20CHANGES","name":"needs: CHANGES","color":"ff75c5","default":false},{"id":777223550,"node_id":"MDU6TGFiZWw3NzcyMjM1NTA=","url":"https://api.github.com/repos/coq/coq/labels/needs:%20benchmarking","name":"needs: benchmarking","color":"c2e0c6","default":false},{"id":394846778,"node_id":"MDU6TGFiZWwzOTQ4NDY3Nzg=","url":"https://api.github.com/repos/coq/coq/labels/needs:%20progress","name":"needs: progress","color":"ffd062","default":false}],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":24,"created_at":"2018-06-22T11:47:12Z","updated_at":"2018-06-28T08:39:07Z","closed_at":null,"author_association":"MEMBER","pull_request":{"url":"https://api.github.com/repos/coq/coq/pulls/7897","html_url":"https://github.com/coq/coq/pull/7897","diff_url":"https://github.com/coq/coq/pull/7897.diff","patch_url":"https://github.com/coq/coq/pull/7897.patch"},"body":"As stated in the manual, the fourier tactic is subsumed by lra.\r\n\r\nPorting the standard library did not reveal any incompatibility, except in a couple of places relying on the weakness of `fourier`, where `lra` is a bit more powerful.\r\n\r\nI will provide a compatibility layer, but I'd like to see a first CI run."},"comment":{"url":"https://api.github.com/repos/coq/coq/issues/comments/400958473","html_url":"https://github.com/coq/coq/pull/7897#issuecomment-400958473","issue_url":"https://api.github.com/repos/coq/coq/issues/7897","id":400958473,"node_id":"MDEyOklzc3VlQ29tbWVudDQwMDk1ODQ3Mw==","user":{"login":"maximedenes","id":647105,"node_id":"MDQ6VXNlcjY0NzEwNQ==","avatar_url":"https://avatars1.githubusercontent.com/u/647105?v=4","gravatar_id":"","url":"https://api.github.com/users/maximedenes","html_url":"https://github.com/maximedenes","followers_url":"https://api.github.com/users/maximedenes/followers","following_url":"https://api.github.com/users/maximedenes/following{/other_user}","gists_url":"https://api.github.com/users/maximedenes/gists{/gist_id}","starred_url":"https://api.github.com/users/maximedenes/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/maximedenes/subscriptions","organizations_url":"https://api.github.com/users/maximedenes/orgs","repos_url":"https://api.github.com/users/maximedenes/repos","events_url":"https://api.github.com/users/maximedenes/events{/privacy}","received_events_url":"https://api.github.com/users/maximedenes/received_events","type":"User","site_admin":false},"created_at":"2018-06-28T08:39:07Z","updated_at":"2018-06-28T08:39:07Z","author_association":"MEMBER","body":"> On a somewhat unrelated note, I agree with the fact that I have a hard time remembering what are all those three-letter tactics. I don't know if I'm the only one out there, yet the shortage of characters from the Great Perl War is far behind us.\r\n\r\n@ppedrot We could think of a renaming at the same time, to minimize incompatible changes. What name would you like?"}}
{"actor":{"display_login":"maximedenes"}}