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.

Sign up for GitHub

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

Jump to bottom

place the parent dir in archive, to have compatibility with the cli #27

Merged
merged 2 commits into from
Sep 21, 2021
Merged

place the parent dir in archive, to have compatibility with the cli #27

merged 2 commits into from
Sep 21, 2021

Conversation

umbynos
Copy link
Contributor

@umbynos umbynos commented Sep 20, 2021

@umbynos umbynos added the topic: infrastructure Related to project infrastructure label Sep 20, 2021
@umbynos umbynos self-assigned this Sep 20, 2021
@cmaglie
Copy link
Member

cmaglie commented Sep 20, 2021

We must move also LICENSE.txt inside the folder (or maybe remove it?)

@umbynos umbynos merged commit 9514fe7 into main Sep 21, 2021
@umbynos umbynos deleted the umbynos/enhance_release_files branch September 21, 2021 07:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@cmaglie cmaglie Awaiting requested review from cmaglie

@silvanocerza silvanocerza Awaiting requested review from silvanocerza

Assignees

@umbynos umbynos

Labels
topic: infrastructure Related to project infrastructure
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@umbynos @cmaglie