Add smart prune support to GitDestination#112

armooo wants to merge 1 commit intogoogle:mastergoogle/copybara:masterfrom

armooo:armooo-smart_prunearmooo/copybara:armooo-smart_pruneCopy head branch name to clipboard