That's the joy of GitHub: If you push to your fork before the previous pull request is done this happens. Without code reviews I would have pushed to the master right away and everything would be fine.