Updating the development environment

Pull the changes with Git:

$ git pull

If dependencies have been added or updated, install them:

$ make install

Execute the migrations:

$ make db-migrate

Sometimes, you may also have to pull or rebuild the Docker images:

$ make docker-pull
$ make docker-build

Remember to restart the containers then.