F1930770

F1930770: manage_repositories.php