4ae367d
Document how to remove branches in dist-git Signed-off-by: Pierre-Yves Chibon <pingou@pingoured.fr>