4ae367d Document how to remove branches in dist-git

Authored and Committed by pingou 3 years ago
    Document how to remove branches in dist-git
    
    Signed-off-by: Pierre-Yves Chibon <pingou@pingoured.fr>