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 outdated files from Git #700

Open
wants to merge 1 commit into
base: main
Choose a base branch
from
Open

Remove outdated files from Git #700

wants to merge 1 commit into from

Conversation

MrSerth
Copy link
Member

@MrSerth MrSerth commented Sep 26, 2024

Those files aren't used since a long time already, so that we drop them.

Fixes #570

@MrSerth MrSerth added the enhancement New feature or request label Sep 26, 2024
@MrSerth MrSerth self-assigned this Sep 26, 2024

This comment was marked as off-topic.

Copy link

codecov bot commented Sep 26, 2024

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 76.11%. Comparing base (636a30e) to head (9435f85).

Additional details and impacted files
@@           Coverage Diff           @@
##             main     #700   +/-   ##
=======================================
  Coverage   76.11%   76.11%           
=======================================
  Files          43       43           
  Lines        3676     3676           
=======================================
  Hits         2798     2798           
  Misses        642      642           
  Partials      236      236           

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

Those files aren't used since a long time already, so that we drop them.

Fixes #570

This comment was marked as off-topic.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Clean unused repository files
1 participant