useful lua scripts for managing multiple git repositories