Skip to content

Conversation

@altendky
Copy link
Contributor

@altendky altendky commented Nov 24, 2021

If you are reviewing this PR, please considering reading https://gist.github.com/altendky/8393dad3e4a44adf8bf5cc19636d15a0 as tooling can make the review much easier.


See #9369 (comment) for an explanation of this approach. Fixes for these hinting issues are being explored in #9387.

Draft for:

@altendky altendky mentioned this pull request Nov 25, 2021
1 task
@github-actions
Copy link
Contributor

github-actions bot commented Jan 9, 2022

This PR has been flagged as stale due to no activity for over 60 days. It will not be automatically closed, but it has been given a stale-pr label and should be manually reviewed by the relevant parties.

@github-actions github-actions bot added the stale-pr Flagged as stale and in need of manual review label Jan 9, 2022
@altendky altendky removed the stale-pr Flagged as stale and in need of manual review label Jan 9, 2022
@altendky altendky self-assigned this Feb 5, 2022
@github-actions github-actions bot added the merge_conflict Branch has conflicts that prevent merge to main label Apr 30, 2022
@github-actions
Copy link
Contributor

This pull request has conflicts, please resolve those before we can evaluate the pull request.

@emlowe emlowe closed this Nov 24, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

merge_conflict Branch has conflicts that prevent merge to main

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants