Re: [PATCH v3] tools: Add script to update git subtree projects