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.

• /MightyPork/ – misc and personal projects
• /packages/ – my packages published to public repositories
• /electro/ – electronic projects; firmwares, libraries etc...
• /gex/ – GEX repositories (upstream)
• /espterm/ – ESPTerm repositories
• /java/ – Piggo's Java Dumpster

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