à propos Github
Observe:
git branch -avv git log --all --decorate --oneline --graph git remote show origin
Delete distant branch:
git push --delete origin SOMEMERGEDBRANCH
Links: - A Visual Git Reference by Mark Lodato