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

✨ Sanitized repo URLs ~1M #1182

Merged
merged 4 commits into from
Oct 29, 2021
Merged

✨ Sanitized repo URLs ~1M #1182

merged 4 commits into from
Oct 29, 2021

Conversation

azeemshaikh38
Copy link
Contributor

  • Please check if the PR fulfills these requirements
  • What kind of change does this PR introduce? (Bug fix, feature, docs update, ...)
    Use sanitized repo URLs from deps.dev to increase num_repos to 1M. This PR adds all GitHub repos provided by deps.dev team.

This PR completes #318. Barring any issues during the run next week, this issue can be considered closed.

@oliverchang @naveensrinivasan @chrismcgehee @laurentsimon thanks for all the help throughout the process to getting to here!

  • Does this PR introduce a breaking change? (What changes might users need to make in their application due to this PR?)
    No.

@github-actions
Copy link

Integration tests success for afdb0c6fa083eefbbc36b1132011cb23f9f94c74

Copy link
Member

@naveensrinivasan naveensrinivasan left a comment

Choose a reason for hiding this comment

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

👏 Thanks!

@laurentsimon
Copy link
Contributor

This is exciting! The runs will still be able to complete within a few days, correct?

@azeemshaikh38
Copy link
Contributor Author

This is exciting! The runs will still be able to complete within a few days, correct?

Yep, should complete weekly.

@github-actions
Copy link

Integration tests success for d547c6036db323aed3e6f39928c78f6a74d68696

@github-actions
Copy link

Integration tests success for f4c628564e70726479cfd441e3e3a7e0029e5e73

@oliverchang
Copy link
Contributor

This is awesome!!!

@github-actions
Copy link

Integration tests success for ad612e7036aeda40e9bbe98b620fdabc2239890d

@azeemshaikh38 azeemshaikh38 merged commit 1db0f97 into main Oct 29, 2021
@azeemshaikh38 azeemshaikh38 deleted the azeems/sanitized_projects branch October 29, 2021 04:00
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.

6 participants