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

Papirus folders #894

Merged
merged 2 commits into from
Jan 29, 2024
Merged

Papirus folders #894

merged 2 commits into from
Jan 29, 2024

Conversation

zero77
Copy link
Contributor

@zero77 zero77 commented Sep 22, 2023

No open issues

@zero77
Copy link
Contributor Author

zero77 commented Jan 25, 2024

@philclifford
Do you need me to make any changes to this PR

@philclifford
Copy link
Member

It would be good to have a single commit so the addition is atomic, and for the comment to be amended to just refer to the final change. I've also added a suggestion to include mantic, as the ppa supports that.

01-main/packages/papirus-folders Outdated Show resolved Hide resolved
Create DIE-engine

Create papirus-folders

Create manifest

Update manifest

Delete 01-main/manifest

Delete 01-main/packages/DIE-engine

Update manifest

Co-Authored-By: Phil Clifford <[email protected]>
@zero77
Copy link
Contributor Author

zero77 commented Jan 29, 2024

Thanks, i have also squash the commits

@philclifford philclifford added the new package New package proposal label Jan 29, 2024
@philclifford philclifford merged commit 89b9f59 into wimpysworld:main Jan 29, 2024
1 check passed
@zero77 zero77 deleted the papirus-folders branch January 29, 2024 15:37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
new package New package proposal
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants