README: s/git/https/ (#2493)

git clone git://github.com is not expected to work since quite some time and just hangs
souffle-lang · Jun 6, 2024 · b395300 · b395300
1 parent 3f35339
commit b395300
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -46,7 +46,7 @@ domain-specific language for analysis problems.
 
 Use git to obtain the source code of Soufflé.
 
-    $ git clone git://github.com/souffle-lang/souffle.git
+    $ git clone https://github.com/souffle-lang/souffle.git
 
 Build instructions can be found [here](https://souffle-lang.github.io/build).