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-python/sphinx-press-theme: new ebuild #31878

Closed
wants to merge 1 commit into from
Closed

dev-python/sphinx-press-theme: new ebuild #31878

wants to merge 1 commit into from

Conversation

negril
Copy link
Contributor

@negril negril commented Jul 14, 2023 •
edited

adds last missing dependency for media-libs/opencolorio[doc]

Bug: https://bugs.gentoo.org/795459

@gentoo-bot
Copy link

Pull Request assignment

Submitter: @negril
Areas affected: ebuilds
Packages affected: dev-python/sphinx-press-theme

dev-python/sphinx-press-theme: @gentoo/proxy-maint (new package)

Linked bugs

Bugs linked: 795459

New packages

This Pull Request appears to be introducing new packages only. Due to limited manpower, adding new packages is considered low priority. This does not mean that your Pull Request will not receive any attention, however, it might take quite some time for it to be reviewed. In the meantime, your new ebuild might find a home in the GURU project repository: the ebuild repository maintained collaboratively by Gentoo users. GURU offers your ebuild a place to be reviewed and improved by other Gentoo users, while making it easy for Gentoo users to install it and enjoy the software it adds.

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 new package The PR is adding a new package. self-maintained The PR changes only packages that are maintained by the submitter (i.e. no need to ask anybody else) assigned PR successfully assigned to the package maintainer(s). bug linked Bug/Closes found in footer, and cross-linked with the PR. labels Jul 14, 2023
@gentoo-repo-qa-bot
Copy link
Collaborator

Pull request CI report

Report generated at: 2023-07-14 13:55 UTC
Newest commit scanned: ed335d9
Status: ✅ good

There are existing issues already. Please look into the report to make sure none of them affect the packages in question:
https://qa-reports.gentoo.org/output/gentoo-ci/b915443489/output.html

@gentoo-repo-qa-bot
Copy link
Collaborator

Pull request CI report

Report generated at: 2023-07-15 13:20 UTC
Newest commit scanned: 8eb8dfe
Status: ✅ good

There are existing issues already. Please look into the report to make sure none of them affect the packages in question:
https://qa-reports.gentoo.org/output/gentoo-ci/fb2ea0a40b/output.html

@gentoo-repo-qa-bot
Copy link
Collaborator

Pull request CI report

Report generated at: 2023-07-15 14:05 UTC
Newest commit scanned: 6bbd2f6
Status: ✅ good

There are existing issues already. Please look into the report to make sure none of them affect the packages in question:
https://qa-reports.gentoo.org/output/gentoo-ci/e2318051b4/output.html

juippis
juippis approved these changes Aug 11, 2023
View reviewed changes
Copy link
Member

@juippis juippis left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Seems fine but why do we want this package? Upstream has abandoned the project and the docs say this has been last tested with sphinx-4, while sphinx-7 is already out. I fear it may break on any sphinx update?

@negril
Copy link
Contributor Author

negril commented Aug 11, 2023

It's for bug 795459, see my initial comment.

  • adds last missing dependency for media-libs/opencolorio[doc]

I am fully aware it's old and will likely break in the near future. But until upstream fixes that it is what it is.

juippis
juippis approved these changes Aug 11, 2023
View reviewed changes
Copy link
Member

@juippis juippis left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Okay, works for me. Thanks! Please see the bugzilla question.

dev-python/sphinx-press-theme/metadata.xml Outdated Show resolved Hide resolved
@negril
dev-python/sphinx-press-theme: new ebuild
3ea396a 
adds last missing dependency for media-libs/opencolorio[doc]

Bug: https://bugs.gentoo.org/795459

Signed-off-by: Paul Zander <negril.nx+gentoo@gmail.com>
@gentoo-repo-qa-bot
Copy link
Collaborator

Pull request CI report

Report generated at: 2023-08-11 12:51 UTC
Newest commit scanned: 3ea396a
Status: ✅ good

There are existing issues already. Please look into the report to make sure none of them affect the packages in question:
https://qa-reports.gentoo.org/output/gentoo-ci/38e83ad279/output.html

@negril negril deleted the sphinx-press-theme branch August 23, 2023 11:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@thesamesam thesamesam thesamesam left review comments

@juippis juippis juippis 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. new package The PR is adding a new package. self-maintained The PR changes only packages that are maintained by the submitter (i.e. no need to ask anybody else)
Projects
None yet
Milestone
No milestone
5 participants
@negril @gentoo-bot @gentoo-repo-qa-bot @thesamesam @juippis