ryppl / Boost2Git

Conversion to Git for Boost
http://jenkins.boost.org/job/Boost2Git
5 stars 6 forks source link

Deal with branch deletion #30

Open dabrahams opened 11 years ago

dabrahams commented 11 years ago

When branches become empty in Git, it's usually because they have been deleted in SVN. We should leave a tag on the ref's final commit before becoming empty, and then delete the ref.