Subject: Re: [boost] Please fix executable permissions on header files
From: Daniel James (dnljms_at_[hidden])
Date: 2017-09-25 16:35:54
On 25 September 2017 at 14:52, Edward Diener via Boost
> A better solution would be a Git server hook which would prevent files being
> pushed as executable unless the file matched known executable file types.
I don't think we can add server hooks to github.
> course determining what constitutes executable file types might not be very
> easy. I believe a git hook at the Boost superproject level would apply to
> all submodules recursively, but I am not absolutely sure that this is true.
I don't think so, although someone with more experience might know better?
I could perhaps check in the commitbot, but I don't really want it to
reject changes. There's no good feedback mechanism, and it would
increase the amount of state it would need to manage. It might also
lead to issues if two modules are updated, but the commitbot only
Could perhaps add something to the '__boost_check_library__' tests,
which is at 'status/boost_check_library.py'.
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk