Skip to content

Remove GitImport admin command #8938

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

Merged
merged 1 commit into from
Jun 28, 2024
Merged

Conversation

Turbo87
Copy link
Member

@Turbo87 Turbo87 commented Jun 27, 2024

This tool has served its purpose and we don't need it anymore. There is no reason to keep compiling the code and bloating our binaries.

@Turbo87 Turbo87 added C-internal 🔧 Category: Nonessential work that would make the codebase more consistent or clear A-backend ⚙️ labels Jun 27, 2024
@Turbo87 Turbo87 requested a review from a team June 27, 2024 08:02
This tool has served its purpose and we don't need it anymore. There is no reason to keep compiling the code and bloating our binaries.
@Turbo87 Turbo87 force-pushed the remove-git-import branch from ceddc92 to ec5047c Compare June 27, 2024 08:48
Copy link

codecov bot commented Jun 27, 2024

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 88.92%. Comparing base (86dedf5) to head (ec5047c).

Additional details and impacted files
@@            Coverage Diff             @@
##             main    #8938      +/-   ##
==========================================
+ Coverage   88.63%   88.92%   +0.29%     
==========================================
  Files         276      275       -1     
  Lines       27645    27561      -84     
==========================================
+ Hits        24502    24508       +6     
+ Misses       3143     3053      -90     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

@Turbo87 Turbo87 merged commit a07eb81 into rust-lang:main Jun 28, 2024
9 checks passed
@Turbo87 Turbo87 deleted the remove-git-import branch June 28, 2024 06:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
A-backend ⚙️ C-internal 🔧 Category: Nonessential work that would make the codebase more consistent or clear
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants