Ignored users

Now you can define a list of ignored users, such as bots. Any pull request created by one of these ignored users will be ignored by this integration.