git tool to configure multiple multiple push tools