Merged in dev/matan/add_ofri_sandbox-11152020 (pull request elastic#21)

add ofri port on map * Adding ofri * adding ofri Approved-by: Ofri Peretz
mindw · Nov 15, 2020 · c12b3b1 · c12b3b1
1 parent 61e7c7e
commit c12b3b1
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/fabfile.py b/fabfile.py
@@ -22,6 +22,7 @@
     "dima": 8090,
     "timothy": 8091,
     "alex": 8092,
+    "ofri": 8093,
     # Production
     "class": 8080,
     "gatech": 8081,