Clear old version of GitHub docs before copying new version in

Merge request reports

Loading