Skip to content

Conversation

@yedayak
Copy link
Collaborator

@yedayak yedayak commented Nov 26, 2024

Follow up to #1090

@akinomyoga
Copy link
Collaborator

This is trivial, so it should be fine to merge.

@akinomyoga akinomyoga merged commit 9143322 into scop:main Nov 26, 2024
7 checks passed
@scop
Copy link
Owner

scop commented Nov 26, 2024

This is trivial, so it should be fine to merge.

By all means, feel free to merge much more than you guys currently do, I trust you and I do not need to be a "default gatekeeper". But feel free to keep open (and/or ask for my opinion) on things you want to.

yedayak added a commit to yedayak/bash-completion that referenced this pull request May 11, 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