Updating DEV_TOOLS to point at git-hub