diff --git a/fabfile.py b/fabfile.py
index 2cce8e5f7bb64b..f73de79ad67733 100644
--- a/fabfile.py
+++ b/fabfile.py
@@ -22,6 +22,7 @@
     "dima": 8090,
     "timothy": 8091,
     "alex": 8092,
+    "ofri": 8093,
     # Production
     "class": 8080,
     "gatech": 8081,