Cloning the git dev repo:

# Clone git dev repo into a directory
git clone [email protected]:PluralisResearch/dev.git
cd dev

# Init git submodule (required to build development docker image)
git submodule init
git submodule update

Note: if you have permission issues here, please follow the guide here: Setting up Personal Access Token for Git, for setting up the required credential authentications using your Personal Access Token (PAT). You need to setup persistent access on your development machine using your PAT. Don’t forget to set the right permissions for any credentials you have pulled:

chmod 600 dev/credentials/* && chmod 700 dev/credentials