Revert "The now third repository change"

This reverts commit 4357836f0acb29aaaca95d8eb9a8d343dbbc5c7b.