F1993496

F1993496: manage_repositories.php