repo - repo prune - manual page for repo prune
repo prune [<project>...]
Summary
Prune (delete) already merged topics
Run `repo help prune` to view the detailed manual.