{"action":"created","issue":{"url":"https://api.github.com/repos/pbelmans/gerby-website/issues/112","repository_url":"https://api.github.com/repos/pbelmans/gerby-website","labels_url":"https://api.github.com/repos/pbelmans/gerby-website/issues/112/labels{/name}","comments_url":"https://api.github.com/repos/pbelmans/gerby-website/issues/112/comments","events_url":"https://api.github.com/repos/pbelmans/gerby-website/issues/112/events","html_url":"https://github.com/pbelmans/gerby-website/issues/112","id":324659497,"number":112,"title":"Do something with pages of inactive tags","user":{"login":"aisejohan","id":4593307,"avatar_url":"https://avatars0.githubusercontent.com/u/4593307?v=4","gravatar_id":"","url":"https://api.github.com/users/aisejohan","html_url":"https://github.com/aisejohan","followers_url":"https://api.github.com/users/aisejohan/followers","following_url":"https://api.github.com/users/aisejohan/following{/other_user}","gists_url":"https://api.github.com/users/aisejohan/gists{/gist_id}","starred_url":"https://api.github.com/users/aisejohan/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/aisejohan/subscriptions","organizations_url":"https://api.github.com/users/aisejohan/orgs","repos_url":"https://api.github.com/users/aisejohan/repos","events_url":"https://api.github.com/users/aisejohan/events{/privacy}","received_events_url":"https://api.github.com/users/aisejohan/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":1,"created_at":"2018-05-19T20:52:12Z","updated_at":"2018-05-20T16:25:48Z","closed_at":null,"author_association":"COLLABORATOR","body":"Very low priority. If a visitor requests a page corresponding to an inactive tag we could/should have a message explaining what happened. I seem to remember @pbelmans suggesting a mechanism for doing this, but I can't recall the exact proposal."},"comment":{"url":"https://api.github.com/repos/pbelmans/gerby-website/issues/comments/390493947","html_url":"https://github.com/pbelmans/gerby-website/issues/112#issuecomment-390493947","issue_url":"https://api.github.com/repos/pbelmans/gerby-website/issues/112","id":390493947,"user":{"login":"aisejohan","id":4593307,"avatar_url":"https://avatars0.githubusercontent.com/u/4593307?v=4","gravatar_id":"","url":"https://api.github.com/users/aisejohan","html_url":"https://github.com/aisejohan","followers_url":"https://api.github.com/users/aisejohan/followers","following_url":"https://api.github.com/users/aisejohan/following{/other_user}","gists_url":"https://api.github.com/users/aisejohan/gists{/gist_id}","starred_url":"https://api.github.com/users/aisejohan/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/aisejohan/subscriptions","organizations_url":"https://api.github.com/users/aisejohan/orgs","repos_url":"https://api.github.com/users/aisejohan/repos","events_url":"https://api.github.com/users/aisejohan/events{/privacy}","received_events_url":"https://api.github.com/users/aisejohan/received_events","type":"User","site_admin":false},"created_at":"2018-05-20T16:25:48Z","updated_at":"2018-05-20T16:25:48Z","author_association":"COLLABORATOR","body":"Right! OK, so in the tags file on the line corresponding to the deleted tag I could make it look like this\r\n\r\n`#00EL,algebra-equation-idempotent-exact-sequence This equation was in a second proof 00EE which we removed in commit 623aef2b`\r\n\r\nor\r\n\r\n`#00DU,algebra-lemma-localize-colimit Take out as an exact duplicate of 00CR`\r\n\r\nSomehow retaining the latex label that used to be there seems appropriate. When I get this done (at some future time), I will let you know."}}
{"actor":{"display_login":"aisejohan"}}