conda-forge / conda-forge/conda-forge-bot
race condition in closing migration PRs
Open
- Dominant language
- Python
- Stars
- 76
- Forks
- 99
- Avg merge
- 1h 44m
- Merged PRs (30d)
- 126
Description
If the last PR in a migration has a bot rerun label applied, the migration can get closed early.
xref: https://github.com/conda-forge/conda-forge-pinning-feedstock/pull/831
cc @xhochy
Contributor guide
Assessment
This issue has not been assessed yet.