clone-repositories.md

Getting source repositories

During the WS several sources are used, these sources need to be cloned.

1. Make sure you have an ssh-key setup for your Github account, see this guide for more details.

2. Clone this repository

git clone --recurse-submodules [this-repo-clone-url]