Tools¶

The topics started here are:

• general git convenience commands (like co)
• feature branch handling (maybe one day even with issue-tracker integration)

Ideas¶

• gui(ded) workflows
• mass operations?
• metrics?