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

Fix podman build completions #1077

Closed
wants to merge 1 commit into from
Closed

Conversation

rhatdan
Copy link
Member

@rhatdan rhatdan commented Jul 11, 2018

Fixes: #1076

Signed-off-by: Daniel J Walsh [email protected]

Signed-off-by: Daniel J Walsh <[email protected]>
@mheon
Copy link
Member

mheon commented Jul 11, 2018

LGTM

@rhatdan
Copy link
Member Author

rhatdan commented Jul 11, 2018

@baude
Copy link
Member

baude commented Jul 11, 2018

LGTM

@vrothberg
Copy link
Member

Tested locally.
LGTM

@giuseppe
Copy link
Member

@rh-atomic-bot r+

@rh-atomic-bot
Copy link
Collaborator

📌 Commit 6f45eeb has been approved by giuseppe

@rh-atomic-bot
Copy link
Collaborator

⌛ Testing commit 6f45eeb with merge 62983dd...

@rh-atomic-bot
Copy link
Collaborator

☀️ Test successful - status-papr
Approved by: giuseppe
Pushing 62983dd to master...

@github-actions github-actions bot added the locked - please file new issue/PR Assist humans wanting to comment on an old issue or PR with locked comments. label Sep 27, 2023
@github-actions github-actions bot locked as resolved and limited conversation to collaborators Sep 27, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
locked - please file new issue/PR Assist humans wanting to comment on an old issue or PR with locked comments.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

6 participants