Push force new docs commit without parent history

[NewtonSander]

Introduction

The repo size is getting bigger because our documentation is quite heavy.

Changes

Using the gh-pages flag that deletes the parent history before comiting the docs.