====== Git stuff ======
===== Create a subrepos from a larger repos =====

Clone the main repository in a separate directory:
<code>
git clone git@github.com:jvehent/bigproject.git
</code>

Keep only the subdirectory for Project1

<code>
git filter-branch --prune-empty --subdirectory-filter Project1 -- --all
</code>