Different default files for Github Action workflows and documentation
No issues in this repository yet.