Pull requests will only be accepted for bugfixes. Pull requests introducing a new feature will be closed or ignored. Mention the ticket id in your pull request to which this is a bugfix. After reading the above requirements, just delete it.