Skip to content

Conversation

tshepang
Copy link

@tshepang tshepang commented Feb 11, 2025

@ojeda
Copy link
Member

ojeda commented Feb 14, 2025

I left that one intentionally empty, since we typically do not want GitHub web UI edits, sorry.

@tshepang
Copy link
Author

why not

@ojeda ojeda force-pushed the main branch 2 times, most recently from f63e359 to 49b2175 Compare March 8, 2025 21:21
@ojeda ojeda force-pushed the main branch 2 times, most recently from 6a5d265 to f7e374e Compare July 20, 2025 16:01
@tshepang
Copy link
Author

do you still not want web edits, and why @ojeda

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

Successfully merging this pull request may close these issues.

2 participants