Set of scripts for managing Vitis workspaces with git. - View it on GitHub