git: Remove the test repository
This MR removes all last usages of our test repository as well as the Makefile target to set up this repository in the first place.
This MR removes all last usages of our test repository as well as the Makefile target to set up this repository in the first place.