diff --git a/.gitignore b/.gitignore
index 7d012ed..19e10dc 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,5 +1,4 @@
/env
*.pyc
local.env
-/repos
*.egg-info
diff --git a/www/index.spt b/www/index.spt
index b0e4df0..76582d3 100644
--- a/www/index.spt
+++ b/www/index.spt
@@ -11,7 +11,7 @@ nav_children = ['big-picture', 'howto', 'appendices']
{% for node in nav_current.values() %}
- {{ node.title }}
+ {{ node.title }}
{% for child in node.children %}
- {{ child.title }}
diff --git a/www/repos/%repo.spt b/www/repos/%repo.spt
deleted file mode 100644
index 80124c0..0000000
--- a/www/repos/%repo.spt
+++ /dev/null
@@ -1,16 +0,0 @@
-import commands
-import os
-from os.path import realpath, join
-
-from aspen import Response
-
-[---]
-request.allow('POST')
-repo_name = path['repo']
-repo_names = os.listdir(website.repo_root)
-if repo_name not in repo_names:
- raise Response(400, "Bad repo name: {}.".format(repo_name))
-repo_path = realpath(join(website.repo_root, repo_name))
-output = commands.getoutput('cd {} && git pull'.format(repo_path))
-[---] text/plain
-{{ output }}
diff --git a/www/repos/index.spt b/www/repos/index.spt
deleted file mode 100644
index 02d2ed0..0000000
--- a/www/repos/index.spt
+++ /dev/null
@@ -1,8 +0,0 @@
-import os
-from os.path import realpath, join
-[---]
-repo_names = os.listdir(website.repo_root)
-[---] text/plain
-POST to the following to do a `git pull`:
-{% for repo in repo_names %}
-/repos/{{ repo }}{% endfor %}