{"action":"opened","issue":{"url":"https://api.github.com/repos/Zimmi48/bugzilla-test/issues/3970","repository_url":"https://api.github.com/repos/Zimmi48/bugzilla-test","labels_url":"https://api.github.com/repos/Zimmi48/bugzilla-test/issues/3970/labels{/name}","comments_url":"https://api.github.com/repos/Zimmi48/bugzilla-test/issues/3970/comments","events_url":"https://api.github.com/repos/Zimmi48/bugzilla-test/issues/3970/events","html_url":"https://github.com/Zimmi48/bugzilla-test/issues/3970","id":253119680,"number":3970,"title":"Anomaly: Unknown tactic alias: Top._20. Please report.","user":{"login":"Zimmi48","id":1108325,"avatar_url":"https://avatars2.githubusercontent.com/u/1108325?v=4","gravatar_id":"","url":"https://api.github.com/users/Zimmi48","html_url":"https://github.com/Zimmi48","followers_url":"https://api.github.com/users/Zimmi48/followers","following_url":"https://api.github.com/users/Zimmi48/following{/other_user}","gists_url":"https://api.github.com/users/Zimmi48/gists{/gist_id}","starred_url":"https://api.github.com/users/Zimmi48/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Zimmi48/subscriptions","organizations_url":"https://api.github.com/users/Zimmi48/orgs","repos_url":"https://api.github.com/users/Zimmi48/repos","events_url":"https://api.github.com/users/Zimmi48/events{/privacy}","received_events_url":"https://api.github.com/users/Zimmi48/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":0,"created_at":"2017-08-26T20:08:07Z","updated_at":"2017-08-26T20:08:07Z","closed_at":null,"body":"Note: the issue was created automatically with bugzilla2github tool\n\n# Bugzilla Bug ID: 3970\nDate: 2015-01-30 22:01:20 +0100\nFrom: @_JasonGross\nTo:   \nCC:   coq-bugs-redist@lists.gforge.inria.fr, @_gares\n\nLast updated: 2015-02-03 13:41:53 +0100\n\n\n## Bugzilla Comment ID: 9059\nDate: 2015-01-30 22:01:20 +0100\nFrom: @_JasonGross\n\nPaste this into coqide:\n\nGoal True.\n  Tactic Notation \"foo\" := idtac.\n  foo.\n\n\nThen click \"evaluate to bottom\" to get this anomaly.  I can't get it to show up in PG nor coqc, so I suspect a bug in async processing.\n\n\n## Bugzilla Comment ID: 9061\nDate: 2015-01-31 06:35:51 +0100\nFrom: @_gares\n\nRight the bug is there.\n\nIn the meanwhile don't put non-tactics between proof and Qed.\n\n\n## Bugzilla Comment ID: 9101\nDate: 2015-02-03 13:41:53 +0100\nFrom: @_gares\n\nWill push soon the fix.\n\n"}}
{"actor":{"display_login":"Zimmi48"}}