Skip to content

Remove repositories that no longer exist#2598

Merged
jai-deepsource merged 1 commit intoDeepSourceCorp:masterfrom
24f1001527:remove-deleted-repos
Mar 1, 2026
Merged

Remove repositories that no longer exist#2598
jai-deepsource merged 1 commit intoDeepSourceCorp:masterfrom
24f1001527:remove-deleted-repos

Conversation

@24f1001527
Copy link
Contributor

This PR removes repository entries that no longer exist:

These repositories currently return 404 errors and do not meet the project requirements.

The entries were verified using the GitHub API and manual checks.

AI assistance:
AI was used to help develop a small script to verify repository availability and to draft this PR description. All results were manually verified.

@vercel
Copy link

vercel bot commented Feb 25, 2026

@24f1001527 is attempting to deploy a commit to the DeepSource Team on Vercel.

A member of the Team first needs to authorize it.

@jai-deepsource jai-deepsource merged commit b002849 into DeepSourceCorp:master Mar 1, 2026
1 check failed
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.

2 participants