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

chore(global-config): remove explicit list of ignored repos #10

Merged
merged 1 commit into from
May 30, 2024

Conversation

ElioDiNino
Copy link
Member

This list isn't actually respected by Mend and the correct way is to just remove the .whitesource file in the relevant repos

This list isn't actually respected by Mend and the correct way is to just remove the `.whitesource` file in the relevant repos
@ElioDiNino ElioDiNino requested review from reevejd and LiyangW May 30, 2024 14:19
@ElioDiNino ElioDiNino self-assigned this May 30, 2024
@ElioDiNino ElioDiNino requested a review from a team as a code owner May 30, 2024 14:19
@ElioDiNino ElioDiNino enabled auto-merge (squash) May 30, 2024 14:38
@ElioDiNino ElioDiNino merged commit 5ecac66 into main May 30, 2024
3 checks passed
@ElioDiNino ElioDiNino deleted the Virtual-branch branch May 30, 2024 14:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Development

Successfully merging this pull request may close these issues.

3 participants