diff --git a/workspace_tools/synch.py b/workspace_tools/synch.py
index a9102a6e02..fa6ee5f2f9 100644
--- a/workspace_tools/synch.py
+++ b/workspace_tools/synch.py
@@ -47,7 +47,7 @@ commit_msg = ''
 # Tuple data: (repo_name, list_of_code_dirs, [team])
 # team is optional - if not specified, the code is published under mbed_official
 OFFICIAL_CODE = (
-    ("mbed-src" , "mbed"),
+    ("mbed-dev" , "mbed"),
     ("mbed-rtos", "rtos"),
     ("mbed-dsp" , "dsp"),
     ("mbed-rpc" , "rpc"),