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 [OPTIONS] {phasar|vara|szzunleashed} COMMAND [ARGS]...

  Handle and simplify common developer interactions with the project.

Options:
  -p, --project PROJECT  Subprojects to work on or 'all' for all subprojects.
  -h, --help             Show this message and exit.

Commands:
  checkout    Checkout a branch.
  f-branches  List all remote feature branches.
  new-branch  Create a new branch.
  pull        Git pull the research tool's repository.
  push        Git push the research tool's repository.
  status      Show git status for a research tool.

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 [OPTIONS]

  Show git status for a research tool.

Options:
  -h, --help  Show this message and exit.

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