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

deleted #129

Closed
wants to merge 0 commits into from
Closed

deleted #129

wants to merge 0 commits into from

Conversation

fschade
Copy link
Contributor

@fschade fschade commented Jan 27, 2025

deleted

@butonic butonic force-pushed the name-check branch 5 times, most recently from 5d23fa5 to f53c7a4 Compare January 29, 2025 16:00
@fschade fschade changed the title enhancement: WIP - add custom tool to name check the repo enhancement: add custom tool to name check the repo Jan 29, 2025
@fschade fschade force-pushed the name-check branch 2 times, most recently from 727fcf3 to fd24e34 Compare January 30, 2025 00:43
micbar

This comment was marked as outdated.

@butonic butonic closed this Feb 4, 2025
@butonic butonic deleted the name-check branch February 4, 2025 09:23
@opencloud-eu opencloud-eu deleted a comment from fschade Feb 4, 2025
@opencloud-eu opencloud-eu deleted a comment from fschade Feb 4, 2025
@opencloud-eu opencloud-eu deleted a comment from fschade Feb 4, 2025
@butonic butonic restored the name-check branch February 4, 2025 09:34
@opencloud-eu opencloud-eu deleted a comment from micbar Feb 4, 2025
@opencloud-eu opencloud-eu deleted a comment from micbar Feb 4, 2025
@opencloud-eu opencloud-eu deleted a comment from micbar Feb 4, 2025
@opencloud-eu opencloud-eu deleted a comment from micbar Feb 4, 2025
@opencloud-eu opencloud-eu deleted a comment from micbar Feb 4, 2025
@opencloud-eu opencloud-eu deleted a comment from ScharfViktor Feb 4, 2025
@opencloud-eu opencloud-eu deleted a comment from aduffeck Feb 4, 2025
@butonic butonic reopened this Feb 4, 2025
@butonic butonic closed this Feb 4, 2025
@butonic butonic deleted the name-check branch February 4, 2025 09:50
@butonic butonic changed the title enhancement: add custom tool to name check the repo deleted Feb 4, 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.

3 participants