create docker images with robomap3 toolchains installed inside
images are pushed in the registry and used by other repos' CI
Mirror of https://github.com/limaanto/grid_map until pull requests have been accepted in https://github.com/ANYbotics/grid_map
Complete mail system with a well configured Postfix (SPF, DKIM, DMARC), Dovecot and metrics.
A reverse proxy for our HTTP containers
A minimalist and privacy friendly pastebin
Les fichiers de configuration autorestic pour le backup de nos volumes.
An awesome podcast server.