--- /dev/null
+#!/bin/bash
+
+# check for whether we see a .git folder.
+if [ ! -d ".git" ]; then
+ echo This script needs to run in the directory where a git repository lives,
+ echo but we do not see a .git directory here.
+ exit 1
+fi
+
+# makes git checkouts not be as intensive on the server.
+git config --global pack.windowMemory "100m"
+git config --global pack.SizeLimit "100m"
+git config --global pack.threads "1"
+
+
--- /dev/null
+
+
+# find all the directories at this height.
+find . -mindepth 1 -maxdepth 1 -type d -exec echo {} ';' >$TMP/filestolink.txt
+# make links with all lower case and all upper case versions of the names.
+while read line; do
+ ln -s "$line" "$(echo $line | tr '[:upper:]' '[:lower:]')"
+ ln -s "$line" "$(echo $line | tr '[:lower:]' '[:upper:]')"
+done < $TMP/filestolink.txt
+# remove dead links.
+\rm $(find . -type l ! -exec test -e {} \; -print)
+
+