update the lecture

lectures/week1.html

@@ -693,7 +693,7 @@ div.slide{
 <li>Git is a free distributed version control system (DVCS), used for source code management (SCM)</li>
 <li>Git operates on a decentralized architecture, so every git working directory has the complete history</li>
 <li>Git was initiallydesigned and created by Linus Torvalds for Linux kernel development</li>
-<li>EPFL has a GIT repository service (<a href="http://c4science.ch/">http://c4science.ch/</a>)</li>
+<li>EPFL has two GIT repository service <a href="http://c4science.ch/">http://c4science.ch/</a> and <a href="http://gitlab.epfl.ch/">http://gitlab.epfl.ch/</a></li>
 </ul>
 <p><a href="http://en.wikipedia.org/wiki/Version_control_system">wikipedia: revision control system</a><br>
 <a href="http://en.wikipedia.org/wiki/Git">wikipedia: git</a></p>
@@ -910,7 +910,7 @@ git diff revision_hash
 <div class="text_cell_render border-box-sizing rendered_html">
 <h3 id="Interactive-session-on-manipulating-git">Interactive session on manipulating git<a class="anchor-link" href="#Interactive-session-on-manipulating-git">&#182;</a></h3><ul>
 <li>installing git</li>
-<li>creating a repository on <em>c4science</em></li>
+<li>creating a repository on <em>gitlab.epfl.ch</em></li>
 <li>cloning it to private laptop</li>
 <li>fix permissions</li>
 <li>manage conflicts</li>