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

Subject: Re: [boost] [git] The any library does not pull cleanly because of a forced update on develop and master.
From: Mathias Gaunard (mathias.gaunard_at_[hidden])
Date: 2013-12-10 11:40:02

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.