{"action":"created","issue":{"url":"https://api.github.com/repos/syl20bnr/spacemacs/issues/9177","repository_url":"https://api.github.com/repos/syl20bnr/spacemacs","labels_url":"https://api.github.com/repos/syl20bnr/spacemacs/issues/9177/labels{/name}","comments_url":"https://api.github.com/repos/syl20bnr/spacemacs/issues/9177/comments","events_url":"https://api.github.com/repos/syl20bnr/spacemacs/issues/9177/events","html_url":"https://github.com/syl20bnr/spacemacs/pull/9177","id":240049711,"number":9177,"title":"Idris layer: ignore *.ibc files in helm-projectile","user":{"login":"holguinj","id":3395230,"avatar_url":"https://avatars2.githubusercontent.com/u/3395230?v=3","gravatar_id":"","url":"https://api.github.com/users/holguinj","html_url":"https://github.com/holguinj","followers_url":"https://api.github.com/users/holguinj/followers","following_url":"https://api.github.com/users/holguinj/following{/other_user}","gists_url":"https://api.github.com/users/holguinj/gists{/gist_id}","starred_url":"https://api.github.com/users/holguinj/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/holguinj/subscriptions","organizations_url":"https://api.github.com/users/holguinj/orgs","repos_url":"https://api.github.com/users/holguinj/repos","events_url":"https://api.github.com/users/holguinj/events{/privacy}","received_events_url":"https://api.github.com/users/holguinj/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":0,"created_at":"2017-07-03T01:45:18Z","updated_at":"2017-07-06T12:53:15Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/syl20bnr/spacemacs/pulls/9177","html_url":"https://github.com/syl20bnr/spacemacs/pull/9177","diff_url":"https://github.com/syl20bnr/spacemacs/pull/9177.diff","patch_url":"https://github.com/syl20bnr/spacemacs/pull/9177.patch"},"body":"Idris projects end up with one .ibc file for every .idr (source) file, but they're not human readable so you always have to skip over them in projectile. This commit adds the suffix to `projectile-globally-ignored-file-suffixes` so they'll just be invisible."},"comment":{"url":"https://api.github.com/repos/syl20bnr/spacemacs/issues/comments/313387356","html_url":"https://github.com/syl20bnr/spacemacs/pull/9177#issuecomment-313387356","issue_url":"https://api.github.com/repos/syl20bnr/spacemacs/issues/9177","id":313387356,"user":{"login":"TheBB","id":619375,"avatar_url":"https://avatars2.githubusercontent.com/u/619375?v=3","gravatar_id":"","url":"https://api.github.com/users/TheBB","html_url":"https://github.com/TheBB","followers_url":"https://api.github.com/users/TheBB/followers","following_url":"https://api.github.com/users/TheBB/following{/other_user}","gists_url":"https://api.github.com/users/TheBB/gists{/gist_id}","starred_url":"https://api.github.com/users/TheBB/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/TheBB/subscriptions","organizations_url":"https://api.github.com/users/TheBB/orgs","repos_url":"https://api.github.com/users/TheBB/repos","events_url":"https://api.github.com/users/TheBB/events{/privacy}","received_events_url":"https://api.github.com/users/TheBB/received_events","type":"User","site_admin":false},"created_at":"2017-07-06T12:53:15Z","updated_at":"2017-07-06T12:53:15Z","body":"I'm not so sure about this. Projectile reads project-specific ignores from *.projectile*, and in case of git projects it also obeys *.gitignore*. It seems a little blunt to **globally** ignore file formats by default."}}
{"actor":{"display_login":"TheBB"}}