PHP-powered git workflow tools