Code used to extract history from Julia repository

[nalimilan]

The repository was created from the Julia repository, keeping only the stdlib/Statistics directory and history related to stdlib/Statistics, base/statistics.jl and test/statistics.jl.
For reference, the commands are:

# https://ptc-it.de/move-files-to-new-repo-in-git/#
 git filter-branch --prune-empty --index-filter \
      'git ls-tree -z -r --name-only --full-tree $GIT_COMMIT | \
       grep -z -v "stdlib/Statistics" | \
       grep -z -v "base/statistics.jl" | \
       grep -z -v "test/statistics.jl" | \
       xargs -0 -r git rm --cached -r' -f &> log

# https://stackoverflow.com/questions/9803294/prune-empty-merge-commits-from-history-in-git-repository
git filter-branch --prune-empty --parent-filter \
    'sed "s/-p //g" | xargs -r git show-branch --independent | sed "s/\</-p /g"'