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