-
Pierre-Yves Chibon authored
The git repo for the documentation of the project follows the same structure as the git repos for requests and tickets and should therefore be migrated as well. This commit also includes a small shell command that can be used to migrate the git repo into the `forks/` folder.
6e788b45