Hi. It seems I have a problem whenever I do "git push" on master I get
"remote: You are not authorized to edit this repository" I have asked infra, if I was lost somewhere (I do get promptet for user name and password). But I have been working on the central CMakeList.txt to change a little bit how we use downloaded externals. Just so that you know I have a change pending. rgds jan i.
