berlinunited.github.io

Code is mirrored from an internal repo

This was tested with python 3.10

Create a virtual environment

python3 -m venv venv

First install the pip dependencies

python -m pip install -r requirements.txt

Local Development

To run the website locally run

mkdocs serve

Deployment

To deploy the website to github pages run

mkdocs gh-deploy

This will modify the branch gh-pages and push it, which in turn we trigger github to show the new website. Sometimes this can take a couple of minutes. Do not change the gh-pages branch manually!

If you cloned the repo via ssh and use a shh key that is not named id_rsa or is not at the standard location ~/.ssh you have to specify your settings in a config file inside ~/.ssh. Otherwise the push of the new changes can't work.

Host github.com
   HostName github.com
   IdentityFile ~/.ssh/my_private_key_name
   IdentitiesOnly yes

Notes