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

⭐️ support upstream communication to fetch policies and store results #105

Merged
merged 4 commits into from
Oct 16, 2022

Conversation

chris-rock
Copy link
Member

@chris-rock chris-rock commented Oct 15, 2022

@chris-rock chris-rock force-pushed the chris-rock/upstream branch 2 times, most recently from 0da5ef5 to 9e0d75b Compare October 16, 2022 13:38
@chris-rock chris-rock marked this pull request as ready for review October 16, 2022 20:58
Copy link
Member

@arlimus arlimus left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks great, thank you for porting this back!!

@arlimus arlimus merged commit f9d98bf into main Oct 16, 2022
@arlimus arlimus deleted the chris-rock/upstream branch October 16, 2022 21:14
@github-actions github-actions bot locked and limited conversation to collaborators Oct 16, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants