The git clone command in the documentation can be simplified

[benjamin-asdf]

git clone https://github.com/Convex-Dev/convex.git
cd convex
git checkout develop
git pull

this should be the same:

git clone https://github.com/Convex-Dev/convex.git --branch develop

[mikera]

Looks sensible, which repo / module is that?