On 22 Dec 2023 11:24, Andrew Burgess wrote:
> I've now added the code of conduct to the GDB website.

pushing to the htdocs repo seems to not be working well.
remote: error: unable to unlink old 'code-of-conduct/Code-Of-Conduct.html': Permission denied
remote: error: unable to unlink old 'code-of-conduct/Committee.html': Permission denied
remote: error: unable to unlink old 'code-of-conduct/Reporting-Guide.html': Permission denied
-mike