Developer manual: Document how ot access the git repository through https