Hi all! Now that most of the packages have been moved to the new team repository, I'm in the process of removing the old repositories of mine