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

media-sound/mpd: remove unused files #7240

Closed
wants to merge 1 commit into from
Closed

media-sound/mpd: remove unused files #7240

wants to merge 1 commit into from

Conversation

mm1ke
Copy link
Contributor

@mm1ke mm1ke commented Feb 20, 2018

Hi,

This PR removes unused patch(es) from:
media-sound/mpd

Please review

@mm1ke mm1ke changed the title media-sound/mpd: remove unused patches media-sound/mpd: remove unused files Feb 20, 2018
@gentoo-repo-qa-bot gentoo-repo-qa-bot added assigned PR successfully assigned to the package maintainer(s). no bug found No Bug/Closes found in the commits. labels Feb 20, 2018
@mm1ke
Copy link
Contributor Author

mm1ke commented Mar 2, 2018

rebased, any chance for a merge :)

@mm1ke
Copy link
Contributor Author

mm1ke commented Mar 11, 2018

another rebase, any chance for a merge? :)

@mm1ke mm1ke force-pushed the cleanup-mpd branch 2 times, most recently from cd8ce7c to 477d67a Compare March 24, 2018 07:36
@mm1ke mm1ke changed the title media-sound/mpd: remove unused files [please reassign] media-sound/mpd: remove unused files Mar 24, 2018
@gentoo-repo-qa-bot gentoo-repo-qa-bot changed the title [please reassign] media-sound/mpd: remove unused files media-sound/mpd: remove unused files Mar 25, 2018
@gentoo-repo-qa-bot
Copy link
Collaborator

Pull Request assignment

Areas affected: ebuilds
Packages affected: media-sound/mpd

media-sound/mpd: @hwoarang, @gentoo/sound

Bugs linked: 651330

In order to force reassignment and/or bug reference scan, please append [please reassign] to the pull request title.

@gentoo-repo-qa-bot gentoo-repo-qa-bot added assigned PR successfully assigned to the package maintainer(s). bug linked Bug/Closes found in footer, and cross-linked with the PR. and removed assigned PR successfully assigned to the package maintainer(s). no bug found No Bug/Closes found in the commits. labels Mar 25, 2018
@gentoo-repo-qa-bot
Copy link
Collaborator

Pull request CI report

Report generated at: 2018-03-31 00:05 UTC
Newest commit scanned: 8b0cf58
Status: ✅ good

Issues already there before the PR (double-check them):
https://qa-reports.gentoo.org/output/gentoo-ci/a73c436bb/output.html#app-metrics/node_exporter
https://qa-reports.gentoo.org/output/gentoo-ci/a73c436bb/output.html#media-libs/freeverb3
https://qa-reports.gentoo.org/output/gentoo-ci/a73c436bb/output.html#net-fs/samba

@gentoo-bot gentoo-bot closed this in d47f408 Apr 1, 2018
madmartin pushed a commit to madmartin/gentoo that referenced this pull request Apr 4, 2018
@mm1ke @madmartin
media-sound/mpd: remove unused files.
135f3e3 
Closes: https://bugs.gentoo.org/651330
Closes: gentoo#7240
@mm1ke mm1ke deleted the cleanup-mpd branch April 14, 2018 15:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@monsieurp monsieurp monsieurp approved these changes

Assignees
No one assigned
Labels
assigned PR successfully assigned to the package maintainer(s). bug linked Bug/Closes found in footer, and cross-linked with the PR.
Projects
None yet
Milestone
No milestone
3 participants
@mm1ke @gentoo-repo-qa-bot @monsieurp