Comment by struanr

Although I have certainly created pull requests before that have been ignored so not sure GitHub solves this problem.