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

update seek_prefix #7579

Closed
wants to merge 6 commits into from
Closed

Conversation

blasrodri
Copy link
Contributor

@blasrodri blasrodri commented Sep 7, 2022

Following up: #7509 (comment)

@blasrodri blasrodri marked this pull request as ready for review September 7, 2022 13:27
@blasrodri blasrodri requested a review from a team as a code owner September 7, 2022 13:27
@blasrodri blasrodri requested a review from akhi3030 September 7, 2022 13:27
@blasrodri
Copy link
Contributor Author

@mina86 we continue the discussion here :)

@mina86 mina86 requested review from mina86 and removed request for akhi3030 September 7, 2022 14:26
@mina86
Copy link
Contributor

mina86 commented Sep 7, 2022

Could you Allow edits from maintainers?

@blasrodri
Copy link
Contributor Author

I don't have rights. Sorry.

@akhi3030
Copy link
Collaborator

akhi3030 commented Sep 8, 2022

I don't have rights. Sorry.

@blasrodri : it is important to allow edits from maintainers to be able to make progress here. Can you get in touch with someone who has rights or create the PR from a different repo where you have sufficient rights.

@blasrodri
Copy link
Contributor Author

Will re post from another repo

@blasrodri
Copy link
Contributor Author

Will re post from another repo

I gave access (through my own fork) here: #7585

@blasrodri blasrodri closed this Sep 8, 2022
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