Move git-sites to their own page

activity.html

@@ -95,16 +95,5 @@
     </li>
 </ul>
 </p>
-<p>If you're familiar with Git (the revision-control system), I have accounts on the following:
+
-  <ul>
-    <li><a href="https://github.com/phtan/">
-      Github, at the user-name phtan
-      </a>
-    </li>
-    <li><a href="https://gitlab.com/phtan">
-      Gitlab, at the same user-name
-      </a>
-    </li>
-</ul>
-</p>
 </html>