Instead of printing shell commands for the user to run.
This also avoids adding files to the initial working directory, which should make it easier to pip-ify these scripts.
It would be possible to use https://gitpython.readthedocs.io/ for a Python interface to Git, but since some of the initialization commands need to be subprocesses anyway, it seemed more straightforward to just call out to the Git utility.
Instead of printing shell commands for the user to run.
This also avoids adding files to the initial working directory, which should make it easier to pip-ify these scripts.
It would be possible to use https://gitpython.readthedocs.io/ for a Python interface to Git, but since some of the initialization commands need to be subprocesses anyway, it seemed more straightforward to just call out to the Git utility.