Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

rename PendingRequestTy -> PendingRequestState #1755

Merged

Conversation

rukai
Copy link
Member

@rukai rukai commented Sep 24, 2024

PendingRequestTy was always a bad name.
PendingRequestState is more accurate since this value is used to maintain the current state of the pending request.

This rename will free up the name PendingRequestTy to be used by something else I am working on.

Copy link

codspeed-hq bot commented Sep 24, 2024

CodSpeed Performance Report

Merging #1755 will not alter performance

Comparing rukai:rename-PendingRequestTy-->-PendingRequestState (4a626bc) with main (fca032a)

Summary

✅ 39 untouched benchmarks

@rukai rukai merged commit 0eb9ff1 into shotover:main Sep 24, 2024
41 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants