[Koha] Koha manual moved to gitlab/koha-community

Hi everybody, This is a follow-up of "Centralize and move to gitlab" The remote for the kohadocs repository must be replaced with https://gitlab.com/koha-community/koha-manual You certainly need to do the following to apply this change: `git remote set-url origin https://gitlab.com/koha-community/koha-manual` then update with `git fetch origin` Please report issues and make merge requests on this new url. Pushes are disabled and a new commit "This repository is OBSOLETE!" has been added to the previous repo, you should never see this commit in your local repository/branches (unless you did something wrong). Regards, Jonathan