New github setting when creating pull requests

Github added a new cool setting allowing better collaboration between pull request creators and official developers with this setting you will give official developers temp permissions to modify your pull request (and this can speed up the merge of some pull requests)

For new pull requests, read

For existing pull requests, read