Automatically prioritizing pull requests