summaryrefslogtreecommitdiff
path: root/CONTRIBUTION.md
diff options
context:
space:
mode:
Diffstat (limited to 'CONTRIBUTION.md')
-rw-r--r--CONTRIBUTION.md5
1 files changed, 4 insertions, 1 deletions
diff --git a/CONTRIBUTION.md b/CONTRIBUTION.md
index b0fc723ee..c4dc9a94f 100644
--- a/CONTRIBUTION.md
+++ b/CONTRIBUTION.md
@@ -202,7 +202,10 @@ $ git push origin feature/your-feature-name
```
### Request Pull
-Request a pull from "shader-slang" repository.
+
+Open a pull request against `shader-slang/slang`.
+
+Code formatting can be automatically fixed on your branch by commenting `/format`, a bot will proceed to open a PR targeting *your* branch.
For the Pull Request, you will need to write a PR message. This message is for a set of commits you are requesting to pull. Try to make it brief because the actual details should be in the commit messages of each commit.