Revert "Delete gitfiles"

This reverts commit 143fb019267ab06d6516d8fae826d90379342eec.