No Github mirror anymore

diff --git a/doc/sources.texi b/doc/sources.texi
index f3864ef47fef546637e4611d8133c097b0e08331..90b0e65ef1a6e6f08f3533259c7a003b11de4c8b 100644 (file)
--- a/doc/sources.texi
+++ b/doc/sources.texi
@@ -22,7 +22,6 @@ repositories will be unavailable (they are seldom updated):
 
 @multitable @columnfractions .50 .50
 @headitem Software/library @tab Mirror
-@item @code{cypherpunks.ru/govpn} @tab @url{https://github.com/stargrave/govpn.git}
 @item @code{github.com/agl/ed25519} @tab @url{git://git.cypherpunks.ru/ed25519.git}
 @item @code{github.com/bigeagle/water} @tab @url{git://git.cypherpunks.ru/water.git}
 @item @code{github.com/go-yaml/yaml} @tab @url{git://git.cypherpunks.ru/yaml.git}