Please try to click the 'delete branch' button after you merge pull requests on github. It helps keep the number of branches in the main ceph.git slightly less crazy and reduces clutter.
(Note that the button only appears if the source branch is also ceph.git; for merges from other users' repos it's up to them to tidy up.) Thanks! sage -- To unsubscribe from this list: send the line "unsubscribe ceph-devel" in the body of a message to [email protected] More majordomo info at http://vger.kernel.org/majordomo-info.html
