Use the replicated repositories for verification

Author: ibbem

docs/verification/datasets.md

@@ -1,6 +1,6 @@
-Project name | Domain                  | Source code available (**y**es/**n**o)? | Is it a git repository (**y**es/**n**o)? | Repository URL                                               | Clone URL                                                        | Estimated number of commits
----|-------------------------|-----------------------------------------|-----------------------------------|--------------------------------------------------------------|------------------------------------------------------------------|---
-tcl | program interpreter     | y                                       | y                                 | https://github.com/tcltk/tcl                                 | https://github.com/tcltk/tcl.git                                 | 24,396
-xfig | vector graphics editor  | y                                       | y                                 | https://github.com/hhoeflin/xfig                             | https://github.com/hhoeflin/xfig.git                             | 9
-xorg-server | X server                | y                                       | y                                 | https://gitlab.freedesktop.org/xorg/xserver                  | https://gitlab.freedesktop.org/xorg/xserver.git                  | 17,786
-xterm | terminal emulator       | y                                       | y                                 | https://github.com/Maximus5/xterm                            | https://github.com/Maximus5/xterm.git                            | 112
+Project name | Domain                 | Source code available (**y**es/**n**o)? | Is it a git repository (**y**es/**n**o)? | Repository URL                              | Clone URL                                        | Estimated number of commits
+-------------|------------------------|-----------------------------------------|------------------------------------------|---------------------------------------------|--------------------------------------------------|-----------------------------
+tcl          | program interpreter    | y                                       | y                                        | https://github.com/tcltk/tcl                | https://github.com/DiffDetective/tcl.git         | 24,396
+xfig         | vector graphics editor | y                                       | y                                        | https://github.com/hhoeflin/xfig            | https://github.com/DiffDetective/xfig.git        | 9
+xorg-server  | X server               | y                                       | y                                        | https://gitlab.freedesktop.org/xorg/xserver | https://github.com/DiffDetective/xorg-server.git | 17,786
+xterm        | terminal emulator      | y                                       | y                                        | https://github.com/Maximus5/xterm           | https://github.com/DiffDetective/xterm.git       | 112