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

dev-db/redis: bump to 5.0.5 #12372

Closed
wants to merge 1 commit into from
Closed

dev-db/redis: bump to 5.0.5 #12372

wants to merge 1 commit into from

Conversation

hydrapolic
Copy link
Contributor

Signed-off-by: Tomáš Mózes hydrapolic@gmail.com

@hydrapolic
dev-db/redis: bump to 5.0.5
7c996c5 
Signed-off-by: Tomáš Mózes <hydrapolic@gmail.com>
@gentoo-bot
Copy link

Copyright policy change

Please note that on 2018-09-15 Trustees have approved new Gentoo copyright policy. All contributions made to Gentoo need to follow this policy. If you include the Signed-off-by line in your commit message, you indicate that you have read the policy and agree to its terms. For more detailed explanation, please see the new Gentoo copyright policy explained article.

Pull Request assignment

Submitter: @hydrapolic
Areas affected: ebuilds
Packages affected: dev-db/redis

dev-db/redis: @robbat2

Linked bugs

No bugs to link found. If your pull request references any of the Gentoo bug reports, please add appropriate GLEP 66 tags to the commit message and request reassignment.

If you do not receive any reply to this pull request, please open or link a bug to attract the attention of maintainers.

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

Docs: Code of Conduct ● Copyright policy (expl.) ● Devmanual ● GitHub PRs ● Proxy-maint guide

@gentoo-bot gentoo-bot added assigned PR successfully assigned to the package maintainer(s). no bug found No Bug/Closes found in the commits. labels Jul 2, 2019
@gentoo-repo-qa-bot
Copy link
Collaborator

Pull request CI report

Report generated at: 2019-07-02 07:50 UTC
Newest commit scanned: 7c996c5
Status: ✅ good

No issues found

seiflek pushed a commit to seiflek/gentoo that referenced this pull request Jul 11, 2019
@hydrapolic @robbat2
dev-db/redis: bump to 5.0.5
17588ea 
Fixes: gentoo#12372
Signed-off-by: Tomáš Mózes <hydrapolic@gmail.com>
Signed-off-by: Robin H. Johnson <robbat2@gentoo.org>
@robbat2
Copy link
Contributor

robbat2 commented Jul 11, 2019

Merged

@robbat2 robbat2 closed this Jul 11, 2019
@hydrapolic
Copy link
Contributor Author

Thank you @robbat2

@hydrapolic hydrapolic deleted the redis branch August 30, 2019 13:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
assigned PR successfully assigned to the package maintainer(s). no bug found No Bug/Closes found in the commits.
Projects
None yet
Milestone
No milestone
4 participants
@hydrapolic @gentoo-bot @gentoo-repo-qa-bot @robbat2