Switch ravi to master

dibyendumajumdar · dibyendumajumdar · commit db6763f18262 · 2021-01-01T15:59:15.000Z
diff --git a/.gitmodules b/.gitmodules
@@ -5,7 +5,7 @@
 [submodule "ravi"]
 	path = ravi
 	url = https://github.com/dibyendumajumdar/ravi.git
-	branch = ravi-distro
+	branch = master
 [submodule "ravi-torch-paths"]
 	path = ravi-torch-paths
 	url = https://github.com/dibyendumajumdar/ravi-torch-paths.git
