To deploy:

    git remote add deploy [email protected]:codesthlm-map.git
    git push deploy master

This requires access to the deploy server. Email [email protected] with
your public SSH key for access; this email must be signed by your PGP key.