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: prevent churn #261

Merged
merged 1 commit into from
Feb 10, 2025
Merged

chore: prevent churn #261

merged 1 commit into from
Feb 10, 2025

Conversation

matijs
Copy link
Member

@matijs matijs commented Feb 7, 2025

Re-add the source block for pages in the "candidate" repo to prevent churn

Re-add the `source` block for pages in the "candidate" repo to prevent
churn
@matijs matijs requested a review from Robbert February 7, 2025 15:13
@matijs matijs requested a review from a team as a code owner February 7, 2025 15:13
@matijs matijs enabled auto-merge (rebase) February 7, 2025 15:13
Copy link

sonarqubecloud bot commented Feb 7, 2025

@matijs matijs merged commit 7b9aaa6 into main Feb 10, 2025
3 checks passed
@matijs matijs deleted the chore/candidate-pages branch February 10, 2025 09:42
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.

2 participants