diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index dad1bdbbf93f..c39c8702357c 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -129,6 +129,9 @@ Before you submit your pull request consider the following guidelines: git rebase master -i git push origin my-fix-branch -f ``` + + +WARNING. Forced push may delete all in-code comments made in your PR That's it! Thank you for your contribution! diff --git a/empty-file b/empty-file new file mode 100644 index 000000000000..601764fb364f --- /dev/null +++ b/empty-file @@ -0,0 +1 @@ +Add something \ No newline at end of file