diff --git a/.github/CONTRIBUTING.md b/.github/CONTRIBUTING.md new file mode 100644 index 000000000..d5207fa3e --- /dev/null +++ b/.github/CONTRIBUTING.md @@ -0,0 +1,4 @@ + +* RUN `make format && make lint -j8` BEFORE COMMITING ALWAYS. + +* no tabs