domtools Collection of tools for various modeling tasks github populate_remotes.py: simple tool to configure remotes and avoid confusions around origin, upstream, ...