Check the github issues list before submitting new pull requests.