F1993644

F1993644: manage_repositories.php