Re: [boost] [git] The any library does not pull cleanly because of a forced update on develop and master.

On 10/12/13 15:40, Dave Abrahams wrote:

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.

Git can do it with an option on the server side, but GitHub does not offer an interface to do it. It could however be possible to contact GitHub support and ask them to do it.