Skip to content

fix: ignore deleted github repos in delete github repos worked #8403

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.

Sign up for GitHub

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

Jump to bottom
Merged
begelundmuller merged 1 commit into from
Nov 27, 2025
Merged

fix: ignore deleted github repos in delete github repos worked #8403

begelundmuller merged 1 commit into from
Nov 27, 2025

Conversation

@k-anshul
Copy link
Member

@k-anshul k-anshul commented Nov 27, 2025 •
edited
Loading

Can happen in case when repo deleted by github but API call failed. We should ignore this in next run and clear our meta.

Checklist:

  • Covered by tests
  • Ran it and it works as intended
  • Reviewed the diff before requesting a review
  • Checked for unhandled edge cases
  • Linked the issues it closes
  • Checked if the docs need to be updated. If so, create a separate Linear DOCS issue
  • Intend to cherry-pick into the release branch
  • I'm proud of this work!

@k-anshul k-anshul self-assigned this Nov 27, 2025
@begelundmuller begelundmuller merged commit 6bc55e1 into main Nov 27, 2025
15 checks passed
@begelundmuller begelundmuller deleted the delete_github_repos_gix branch November 27, 2025 14:38
k-anshul added a commit that referenced this pull request Nov 27, 2025
@k-anshul
fix: deleted github repos should be ignored (#8403)
a681647
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@begelundmuller begelundmuller begelundmuller approved these changes

Assignees

@k-anshul k-anshul

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

3 participants

@k-anshul @begelundmuller