Add hosts of git

index.html

@@ -92,6 +92,18 @@ I may or may not change this web-page.
     </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>
 <hr />
 <p>I have viewed this web-page in the Internet-browsers Lynx and Chrome
 </p>