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

fix #436: removing obsolete files #440

Closed
wants to merge 1 commit into from
Closed

fix #436: removing obsolete files #440

wants to merge 1 commit into from

Conversation

Mte90
Copy link
Contributor

@Mte90 Mte90 commented Sep 17, 2020

As #436

@Mte90
Copy link
Contributor Author

Mte90 commented Feb 22, 2021

ping

@Halleck45
Copy link
Collaborator

Hi,

these files are here to avoid to broke production CI pipelines using these legacy files (when CI download directly files from github). If we remove them, we'll break ton of pipelines.

I prefer to avoid to remove them. But we can add a README.md and fix the release documentation.

@Mte90
Copy link
Contributor Author

Mte90 commented Jun 7, 2021

Maybe also add a readme in the folder that explain the purpose. I don't remember how I found those files as a lot of months are passed but I think that I was looking for a tarball or a debian package and found those obsolete files.

@Halleck45
Copy link
Collaborator

I've just checked, and I confused with the build directory. I've just opened #458 to fix it.

Thanks for your help !

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants