To reduce clutter in remote git repositories, it helps to delete stale branches.
--delete flag to
git push to delete a branch in a remote repository.
git push origin --delete my-stale-branch
origin with the appropriate git remote and
my-stale-branch with the name of the branch to delete.