See if .gitignore takes effect in GitHub repo to remove .idea from repo