Add SSH key changing interface.
[girocco/radio.git] / indextext.html
blob367ce221f009f69ce2106c81ed56553d6ae78438
1 <p><strong>repo.or.cz</strong> is a public <a href="http://git.or.cz">Git</a> hosting site.
2 You can create a project here and then publish your development by pushing
3 to it, or even enable push access for multiple developers.
4 Alternately, you can just set up a mirror of any project published elsewhere
5 and we will provide pull and gitweb access for the project.
6 <a href="/about.html">(read more, incl. terms&amp;conditions)</a></p>
8 <p><strong>This service is BETA.</strong>
9 The service is maintained by <a href="mailto:pasky@suse.cz">Petr Baudis</a>,
10 please contact him with any requests, proposals or issues.</p>
12 <p align="center"><a href="/m/regproj.cgi">Register project</a> | <a href="/m/reguser.cgi">Register user</a> | <a href="/m/edituser.cgi">Update user SSH keys</a></p>
14 <div style="border:1px; align: center">
15 How to grab a project?
16 <pre>git clone mirror_URL</pre>
17 See the crash courses at <a href="http://git.or.cz/">git.or.cz</a>
18 for more detailed introduction. You can find out the <code>mirror_URL</code>
19 for each project at the project's summary page.
20 </div>