Re: [Valgrind-developers] website now in git and on sourceware

[Mark W. <ma...@kl...>]

Hi Paul,

On Wed, Nov 17, 2021 at 11:13:00PM +0100, Paul Floyd wrote:
> I got this from my first attempt at a push:
> 
> paulf> git push
> Enumerating objects: 9, done.
> Counting objects: 100% (9/9), done.
> Delta compression using up to 4 threads
> Compressing objects: 100% (5/5), done.
> Writing objects: 100% (5/5), 481 bytes | 481.00 KiB/s, done.
> Total 5 (delta 4), reused 0 (delta 0), pack-reused 0
> remote: error: unable to unlink old 'docs/manual/mc-manual.html': Permission
> denied
> To ssh://sourceware.org/git/valgrind-htdocs.git
>   59967f7..e2d0a33  main -> main
> [...] 
> A problem with the git hooks?

Yes, sorry, it didn't set the file permissions correctly.  It should
now make sure all files can be updated by someone in the valgrind
group.

Cheers,

Mark