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

Foot 1.13.1 #27092

Closed
wants to merge 2 commits into from
Closed

Foot 1.13.1 #27092

wants to merge 2 commits into from

Conversation

ArsenArsen
Copy link
Member

No description provided.

@ArsenArsen
gui-apps/foot-terminfo: add 1.13.1
11a727c 
Signed-off-by: Arsen Arsenović <arsen@aarsen.me>
@ArsenArsen
gui-apps/foot: add 1.13.1
dbb85c9 
Signed-off-by: Arsen Arsenović <arsen@aarsen.me>
@gentoo-bot
Copy link

Pull Request assignment

Submitter: @ArsenArsen
Areas affected: ebuilds
Packages affected: gui-apps/foot, gui-apps/foot-terminfo

gui-apps/foot: @ArsenArsen, @gentoo/proxy-maint
gui-apps/foot-terminfo: @ArsenArsen, @gentoo/proxy-maint

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.

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 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). labels Aug 31, 2022
@gentoo-repo-qa-bot
Copy link
Collaborator

Pull request CI report

Report generated at: 2022-08-31 18:31 UTC
Newest commit scanned: dbb85c9
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/e58f1a077a/output.html

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). 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
Development

Successfully merging this pull request may close these issues.
3 participants
@ArsenArsen @gentoo-bot @gentoo-repo-qa-bot