Hi Oli, > Does this mean anything to anybody? this is problem related to a recent change in the post-commit hook. I updated the post-commit hook to regenerate the menu for the users.dune-project.org website. I hope I have now fixed this issue. Cheers Christian