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

New package: wmix-3.5 #27278

Merged
merged 1 commit into from
Nov 20, 2021
Merged

Conversation

lordfeck
Copy link
Contributor

New, clean attempt for this failed PR: #23069

@lordfeck lordfeck mentioned this pull request Dec 19, 2020
@Duncaen
Copy link
Member

Duncaen commented Dec 19, 2020

Don't open new PRs, you can simply force push to the same branch.
This just adds more noisy notifications and splits all comments and history of the PR.

@ericonr ericonr added the new-package This PR adds a new package label Dec 20, 2020
@lordfeck
Copy link
Contributor Author

@Duncaen Apologies, I was trying to avoid that. Unfortunately I wrecked my previous PR while trying to squash the commits. I think it was because I originally pushed to master rather than a new branch. I hate to clog up the (already busy) PR section with chaff and I will be much more careful with any future submissions.

I hope this package can still be accepted. I was planning on packaging a few more of the WM dockapps that aren't already in the repo, they still work very well and would be worth trying with any of the lighter window managers.

@Duncaen Duncaen merged commit 6057dbf into void-linux:master Nov 20, 2021
@github-actions github-actions bot locked as resolved and limited conversation to collaborators Feb 19, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
new-package This PR adds a new package
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants