github: Mention PRs should be opened against dev branch

Signed-off-by: Aayush Gupta <contact@aayush.io>
This commit is contained in:
Aayush Gupta
2026-06-15 13:14:47 +08:00
parent b259b767f5
commit cd48198143
+1 -1
View File
@@ -57,7 +57,7 @@ You'll see *exactly* what is sent, be able to add **your comments**, and then se
### Creating a Pull Request (PR)
* Make changes on a **separate branch** with a meaningful name, not on the _master_ branch or the _dev_ branch. This is commonly known as *feature branch workflow*. You may then send your changes as a pull request (PR) on GitHub.
* Make changes on a **separate branch** with a meaningful name, not on the _master_ branch or the _dev_ branch. This is commonly known as *feature branch workflow*. You may then send your changes as a pull request (PR) on GitHub against the `dev` branch.
* Please **test** (compile and run) your code before submitting changes! Ideally, provide test feedback in the PR description. Untested code will **not** be merged!
* Respond if someone requests changes or otherwise raises issues about your PRs.
* Try to figure out yourself why builds on our CI fail.