Welcome to MightyPork's Git Server

This server is intended for my own projects. Feel free to use it for your own code too, on a fair-use basis. I reserve the right to delete anything illegal or abusing the service, e.g. by too large uploads.

E-mail registration is disabled due to spam. Use GitHub registration via OAuth2 instead.

For SSH, use user "git" and port 4022.

Contact – ondra@ondrovo.com; see also: www.ondrovo.com