1 <style type=
"text/css">
9 <p><strong>repo.or.cz
</strong> is a public
<a href=
"https://git-scm.com/">Git
</a> hosting site.
10 Create a project in a snap,
<strong>publish your development
</strong>, give others push
11 access and let anyone have a look and contribute.
12 Alternatively, if you just see a random
<code>git://
</code> URL fly by and
13 want to check it out, or you have limited bandwidth or want backup - just quickly
14 <strong>set up a mirror
</strong> of any project published
15 elsewhere and we will provide pull and gitweb access for the project,
16 or send you notifications when new stuff gets committed.
17 <a href=
"/about.html">(read more, terms of use)
</a> <a href=
"/pledge.html">(want to help?)
</a></p>
19 <p>The service is maintained by the
<a href=
"/admins.html">admin team
</a> as a public service for the Git community,
20 please contact
<a href=
"mailto:admin@repo.or.cz">admin@repo.or.cz
</a> with any requests, proposals, issues or patches - the
21 underlying engine is
<a href=
"/girocco.git">fully open-source
</a> and easy to deploy.
22 Or you may be also interested in
23 <a href=
"https://git.wiki.kernel.org/index.php/GitHosting">other Git hosting sites
</a>.
</p>
25 <p align=
"center"><a href=
"/regproj.cgi">Register project
</a> |
26 <a href=
"/reguser.cgi">Register user
</a> |
27 <a href=
"/rootcert.html">Root certificate
</a> |
28 <a href=
"/edituser.cgi">Update user email/SSH keys
</a></p>
30 <div class=
"forkinfo">
31 How to grab a project? Simply
<code>git clone git://repo.or.cz/project.git
</code>.
<br />
32 Then, repeat
<code>git pull
</code> to update to the latest version of the project.
<br />
33 See the
<a href=
"https://git-scm.com/">The Git Homepage
</a>
34 for more details about Git and its usage.