Update DEV_SETUP with git subtree info