In the end I did a git pull and spent a hair pulling half hour wondering why the files in a folder had not updated. Until I realised that folder was ignored, and for very good reasons.

//