Add a link to prottype repo

gsoosk · Jul 5, 2023 · ce52d0b · ce52d0b
1 parent f537495
commit ce52d0b
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 0 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -0,0 +1,4 @@
+[submodule "prototype"]
+	path = prototype
+	url = https://github.com/gsoosk/PostgresPaxos
+	branch = MetastableFailureInReplicatedDBPaperCheckpoint
diff --git a/prototype b/prototype