Skip to content

dev-util/oh-my-pi-bin: new package, add 17.2.12 - #11994

Merged
gouwazi merged 1 commit into
gentoo-zh:masterfrom
gouwazi:dev-util-oh-my-pi-bin-17.2.12
Aug 13, 2026
Merged

dev-util/oh-my-pi-bin: new package, add 17.2.12#11994
gouwazi merged 1 commit into
gentoo-zh:masterfrom
gouwazi:dev-util-oh-my-pi-bin-17.2.12

Conversation

@gouwazi

@gouwazi gouwazi commented Aug 11, 2026

Copy link
Copy Markdown
Member

Please check all the boxes that apply:

  • I have run pkgcheck scan --commits --net to check for issues with my commits.
  • If I used AI: it followed AGENTS.md, I checked and tested its output, and the description shows tested results, not guesses.

Please note that all boxes must be checked for the pull request to be merged.

Signed-off-by: Xianggang Wang <dev@wangxianggang.com>
@github-actions

Copy link
Copy Markdown

Pull request pkgcheck report

Newest commit scanned: cd2a81ae1
Packages scanned: dev-util/oh-my-pi-bin
Status: ✅ good

@gouwazi
gouwazi requested review from Zakkaus and peeweep August 12, 2026 07:01
@gouwazi
gouwazi merged commit 68b5737 into gentoo-zh:master Aug 13, 2026
5 of 9 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant