On 12 December 2013 03:44, Ahmed Charles
To: boost@lists.boost.org From: dave@boostpro.com Date: Tue, 10 Dec 2013 06:40:23 -0800 Subject: Re: [boost] [git] The any library does not pull cleanly because of a forced update on develop and master.
If there is not already a policy in place to prevent history rewriting in public branches, we should have one. And if there's a GitHub mechanism for denying the privilege, it should be enabled.
I happen to agree with Dave.
Is it possible to have a proposal to this effect put before the steering committee and have it voted on? The distinctions between whether it is allowed in general vs only during the 'git transition' and how long that transition lasts should be considered.
I'm willing to help with the details of the proposal, but I don't really know the process.
We have to rewrite history because of this: http://lists.boost.org/Archives/boost/2013/08/205491.php It's a bit late to change plans now.