vara-develop

This tool is a convenience tool for managing the git repositories of different research tools. This tool is also available as vd.

usage: vara-develop [-h]
                    {phasar,vara,szzunleashed}
                    {new-branch,checkout,pull,push,status,f-branches} ...

positional arguments:
  {phasar,vara,szzunleashed}
                        The research tool one wants to setup
  {new-branch,checkout,pull,push,status,f-branches}
                        Sub commands
    f-branches          List all remote feature branches

optional arguments:
  -h, --help            show this help message and exit

Take for example, the subcommands vd vara checkout, vd vara pull, vd vara push and vd vara status work as their respective git counterparts, but operate on multiple repositories at once. We use vara here as an example for a research project but the commands work on all research projects.

usage: vara-develop {phasar,vara,szzunleashed} status [-h]
                                                      [projects [projects ...]]

positional arguments:
  projects    Projects to work on. Or all/all-vara for all projects.

optional arguments:
  -h, --help  show this help message and exit

The subcommand vd vara f-branches shows all feature branches of the vara repositories.