Merged PR 4246780: Switch to ebpf / prevail master branch

Switch to ebpf / prevail master branch
2021-03-16 01:39:35 +00:00 · 2021-03-16 01:39:35 +00:00 · aa04455d1f
--- a/.gitmodules
+++ b/.gitmodules
@ -1,6 +1,6 @@
 [submodule "external/ebpf-verifier"]
 	path = external/ebpf-verifier
-	url = https://github.com/dthaler/ebpf-verifier.git
+	url = https://github.com/vbpf/ebpf-verifier.git

 [submodule "external/ubpf"]
 	path = external/ubpf