github mirrors added
diff --git a/sources.php b/sources.php
index cb64917..4dde5a9 100644
--- a/sources.php
+++ b/sources.php
@@ -23,7 +23,20 @@
<h1><?=$pageTitle?></h1>
<h2>Source Repositories</h2>
<p>All DLTK development is carried out in these <a href="http://git.eclipse.org/c/dltk">git repositories</a>.</p>
-<p>See also <a href="http://wiki.eclipse.org/Git">Eclipse Git</a> page.</p>
+
+<p>See <a href="http://wiki.eclipse.org/Git">Eclipse Git</a> page for information how to use Eclipse Git repositories.</p>
+
+<p>Also, DLTK repositories are mirrored at GitHub:
+<ul>
+<?
+$GitHubRepos = array("core", "javascript", "tcl", "ruby", "python");
+foreach ($GitHubRepos as $repo) {
+ $link = "github.com/eclipse/dltk".$repo;
+ print "<li><a href=\"https://$link\">$link</a></li>";
+}
+?>
+</ul>
+</p>
<hr class="clearer" />
</div>
