Can we change the resolved_by_pr label to not close the issue if the PR hasn’t been merged yet?
I don’t think the bot should close the ticket just in case the PR isn’t merged for one reason or another and the issue still exists.
Can we change the resolved_by_pr label to not close the issue if the PR hasn’t been merged yet?
I don’t think the bot should close the ticket just in case the PR isn’t merged for one reason or another and the issue still exists.
Hi Rob,
Good idea, seems like this is already on the list of things to do https://github.com/ansible/ansibullbot/issues/129
Feel free to subscribe to that ticket for updates.
Kind regards,
John Barker