From c8bf8f4bbc6fa1be8482dd010726b49857a55fe5 Mon Sep 17 00:00:00 2001
From: Laurens Valk <laurens@pybricks.com>
Date: Tue, 28 Apr 2020 15:18:31 +0200
Subject: [PATCH] workspaces: update script to sort alphabetically

---
 update_workspaces.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/update_workspaces.py b/update_workspaces.py
index 7fb8fc8..782bb63 100755
--- a/update_workspaces.py
+++ b/update_workspaces.py
@@ -7,6 +7,7 @@ def make_workspace(root):
 
     # Get list of folder names
     names = [d.name for d in scandir(root) if d.is_dir()]
+    names.sort()
 
     # Make the workspace dictionary
     workspace = {