Conversation
|
The failures here are unrelated. |
beckermr
left a comment
There was a problem hiding this comment.
Check the bot config options. There is one to set on the feedstock to ignore tags. Please add this there. This pr wont fix things because the bot will just find the tag again.
The tag has been deleted, as I show in the OP |
|
Ahhhh. Even so you need the check the file under the versions folder too then to be sure. The versions here are about attempted version PRs. The source of truth for new versions is the versions directory. However, if you add the now-deleted tag to the excluded versions in the feedstock anyways, the bot should reset itself here without you having to dig around in the files. |
|
To be a bit more clear, the bot enforces that new versions always increase relative to the version it last found. It should bypass this if the version is in the excluded list. |
|
It appears that the exclude worked!
Note for this PR to have worked, we'd have to have edited the file in the version directory as well. |
This tag permanently broke the update bot, even though it has been deleted upstream in the meantime.