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.

Sign up for GitHub

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

Jump to bottom

Ignore polls that have ended #165

Open

00-kat wants to merge 1 commit into ghostty-org:main from 00-kat:ignore-poll-send-errors

Contributor

00-kat commented Feb 24, 2025

Continuation of #159, thank you GitHub.

Closes section 6.3 of #155.

00-kat force-pushed the ignore-poll-send-errors branch 2 times, most recently from c38999b to f255d5d Compare

February 25, 2025 09:36


          Ignore polls that have ended when moving a message.

Otherwise, a gnarly traceback is printed out.

00-kat force-pushed the ignore-poll-send-errors branch from f255d5d to 7297395 Compare

February 25, 2025 09:50

Contributor Author

00-kat commented Feb 25, 2025

For those wondering what those force-pushes are:

Past me was stupid and did some random division nonsense.
Fixing that made me realise past me was extra stupid.
I then though past me was blabbing nonsense into a PR and went to correct it, then a little while later realised past me is actually smarter than current me and reverted my entire rewrite of this tiny PR.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet