Bots Don't Mind Waiting, Do They? Comparing the Interaction With Automatically and Manually Created Pull Requests.