From c9b39c4d30b4adb348bd0ff5df74cb57e9ef1cc1 Mon Sep 17 00:00:00 2001
From: Mike Gerwitz <mike@mikegerwitz.com>
Date: Thu, 26 Dec 2013 21:47:06 -0500
Subject: [PATCH] Added Savannah git repo to source page

Now that issues with --force pushing are resolved.
---
 source.html | 22 ++++++++++++++++++----
 1 file changed, 18 insertions(+), 4 deletions(-)

diff --git a/source.html b/source.html
index 133c9c1..c7c6505 100644
--- a/source.html
+++ b/source.html
@@ -12,19 +12,33 @@
 <p>
   If you would like to follow the development of ease.js or would like to be
   notified of new releases, you may subscribe to the <a
-  href="https://lists.gnu.org/mailman/listinfo/info-gnu">info-gnu mailing
-  list</a>.
+  href="https://lists.gnu.org/mailman/listinfo/info-easejs">info-easejs mailing
+  list</a>. To receive release announcments for all GNU software (including
+  ease.js), you may subscribe to
+  <a href="https://lists.gnu.org/mailman/listinfo/info-gnu">info-gnu</a>.
 </p>
 
+
+<h3>Savannah</h3>
+<a href="https://savannah.gnu.org/projects/easejs/">Savannah</a> is the main
+development and distribution site for GNU software; it is itself free software.
+
+<blockquote class="git-clone">
+  <span class="shell-start">$</span> git clone
+  git clone git://git.savannah.gnu.org/easejs.git
+</blockquote>
+
+
 <h3>Gitorious</h3>
-<a href="http://gitorious.org/easejs">Gitorious</a> is recommended, as it is
-itself free software.
+<a href="http://gitorious.org/easejs">Gitorious</a> is also recommended, as it
+is itself free software.
 
 <blockquote class="git-clone">
   <span class="shell-start">$</span> git clone
   git://gitorious.org/easejs/easejs.git
 </blockquote>
 
+
 <h3>GitHub</h3>
 <a href="https://github.com/mikegerwitz/easejs">GitHub</a> is a popular social
 coding platform. While the code is hosted there and you are free to make use of