BTW: We should consider using git-subtree for future updates. This allows us to track an upstream git repository while having local changes. Then updating becomes a simple merge.

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.