my eye

Demote .github directory in project listing

Committed bd4726

--- a/webint_code/templates/project/index.html
+++ b/webint_code/templates/project/index.html

   navigator.clipboard.writeText('$git_clone')
 }
 </script>
-$ ignorable_files = (".gitignore",
-$                    "README",
-$                    "README.md",
-$                    "pyproject.toml",
-$                    "pyrightconfig.json",
-$                    "tsconfig.json",
-$                    "webpack.config.js",
-$                    "package.json")
+$ ignorable_files = (
+$   ".github",
+$   ".gitignore",
+$   "README",
+$   "README.md",
+$   "pyproject.toml",
+$   "pyrightconfig.json",
+$   "package.json",
+$   "tsconfig.json",
+$   "webpack.config.js",
+$ )
 
 $if repo.exists():
     <div>