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
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk