repository_merging.md
The following instructions are freely inspired from this blog article: https://ahmadatwi.me/2016/04/07/how-to-move-a-git-repository-to-subdirectory-of-another-repository/
Replace the various variable definitions commented with CHANGEME
with values suited to your needs.
Bash snippets can be executed sequentially in reading direction.