18d25672d7
This change emphasizes that pull requests should be made to the `dev` branch, not the `master` branch, to ensure proper workflow.