First thank you very much for this contribution. Highly appreciated.
Some best practices that make live easier on github:
never create a pull request from your master branch
note that a PR observes all changes of the branch your create the pr. Meant if you push or even force push to your branch, the PR get updated automatically
First thank you very much for this contribution. Highly appreciated. Some best practices that make live easier on github: