Skip to content

cleanup: remove mistakenly committed coverage artifacts#999

Merged
jrfastab merged 1 commit into
mainfrom
pr/mtardy/policyfilter-cleanup
May 23, 2023
Merged

cleanup: remove mistakenly committed coverage artifacts#999
jrfastab merged 1 commit into
mainfrom
pr/mtardy/policyfilter-cleanup

Conversation

@mtardy

@mtardy mtardy commented May 15, 2023

Copy link
Copy Markdown
Member

No description provided.

Signed-off-by: Mahe Tardy <mahe.tardy@gmail.com>
@mtardy mtardy added the kind/cleanup Categorizes issue or PR as related to cleaning up code, process, or technical debt. label May 15, 2023
@mtardy
mtardy requested a review from kkourt May 15, 2023 18:21
@mtardy
mtardy requested a review from a team as a code owner May 15, 2023 18:21
@jrfastab

Copy link
Copy Markdown
Contributor

consider adding to gitignore as well.

@jrfastab
jrfastab merged commit aef996b into main May 23, 2023
@jrfastab
jrfastab deleted the pr/mtardy/policyfilter-cleanup branch May 23, 2023 02:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

kind/cleanup Categorizes issue or PR as related to cleaning up code, process, or technical debt.

2 participants