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

Remove unused probot automations; Update GitOps config for stale issues. #4611

Closed
wants to merge 2 commits into from

Conversation

sjwaight
Copy link
Contributor

@sjwaight sjwaight commented Oct 29, 2024

This PR does the following:

Known issue: GitOps does not currently provide support for filtering on issues included in GitHub Projects so it's not possible to filter items for staleness based on their inclusion in a project.

@sjwaight sjwaight requested review from palma21 and a team as code owners October 29, 2024 06:27
@sjwaight sjwaight requested a review from seanmck October 29, 2024 06:27
@sjwaight sjwaight linked an issue Oct 29, 2024 that may be closed by this pull request
Copy link
Contributor

@AllenWen-at-Azure AllenWen-at-Azure left a comment

Choose a reason for hiding this comment

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

LGTM

@AllenWen-at-Azure
Copy link
Contributor

@palma21 could you please review and merge this PR? It can help resolve bugs like #4464

@sjwaight
Copy link
Contributor Author

sjwaight commented Jan 2, 2025

Superseded by #4728.

@sjwaight sjwaight closed this Jan 2, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

[Feature] Please improve auto-closing of issues
3 participants