Push changes for SetupDev for the automated setup script