Skip to content

Conversation

ejona86
Copy link
Member

@ejona86 ejona86 commented May 9, 2025

It hasn't been as active more recently and we'd need to reorganize how we do it. Instead of doing that, we're going to stop for now; we can always start it up again.


I'll merge this after I verify the top bar looks correct. I've not found any other links to the page. Everything looks fine, best as I can tell.

It hasn't been as active more recently and we'd need to reorganize how
we do it. Instead of doing that, we're going to stop for now; we can
always start it up again.
@ejona86 ejona86 requested a review from gnossen May 9, 2025 18:16
@ejona86
Copy link
Member Author

ejona86 commented Jul 28, 2025

@gnossen, friendly ping

@gnossen
Copy link
Contributor

gnossen commented Jul 28, 2025

Whoops. Missed this PR somehow and removed it myself. I guess we can close this PR.

@ejona86
Copy link
Member Author

ejona86 commented Jul 28, 2025

Ha! And by then I had obviously forgotten that I had my own PR!

@ejona86 ejona86 closed this Jul 28, 2025
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.

2 participants