Include the doc git repo in the migration as well as an example
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.