Closed brosaplanella closed 2 years ago
Any fixes or workarounds for this?
@brosaplanella is this still relevant today? FYI, you need to delete the PR branch first. Let us know if this still occurs. Closing this for now. Thanks!
I will have to check it when we encounter it again. If it happens, I will post it here. Thanks!
Describe the bug If the bot is asked to add a contributor for a given contribution and the PR is not merged, when asked again to add that contribution the bot replies that the user has already contributed before to that aspect. Might it be because the bot is checking the existing contribution against an internal log rather than against
all-contributorssrc
?To Reproduce Steps to reproduce the behavior:
Expected behavior The bot should open a new PR for that contribution.