This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
Peter Bhat Harkins ✔️
push.cx
did:plc:eodtpr3gmvggrlwtsf3d27au
Here's a new one for core GitHub functionality becoming unreliable: I typed `#1843` to link a PR and the picker autocompleted 5 unrelated issues/PRs, mislabeling all of them as #1843. I need to prioritize exporting issues + PRs, I feel like I'm making a mistake by leaving that data at risk of loss.
2025-12-31T16:37:07.738Z