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

[Jonathan Druart]

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