alexion/dev
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Add migrated grill skill #21

Closed
alexion wants to merge 1 commits from migrate-grill-skill into main
pull from: migrate-grill-skill
merge into: alexion:main
Conversation 0 Commits 1 Files Changed 3 +152 -65
alexion commented 2026-09-07 22:13:03 -04:00
Owner
Copy Link

Summary

  • update flake inputs
  • drop the stale Pi flex spacer patch now that upstream layout changed
  • add and enable the monorepo-level grill skill
  • document that pull requests start from a new branch

Validation

  • built .#nixosConfigurations.zeus.config.home-manager.users.alexion.programs.pi-coding-agent.package
## Summary - update flake inputs - drop the stale Pi flex spacer patch now that upstream layout changed - add and enable the monorepo-level `grill` skill - document that pull requests start from a new branch ## Validation - built `.#nixosConfigurations.zeus.config.home-manager.users.alexion.programs.pi-coding-agent.package`
alexion added 3 commits 2026-09-07 22:13:03 -04:00
chore: update flake inputs 557be040f8
fix(nixos): drop stale Pi layout patch 115fdc570f
feat(skills): add grill skill 0ece0c3d44
alexion closed this pull request 2026-09-07 22:13:55 -04:00

Pull request closed

This pull request cannot be reopened because the branch was deleted.
Sign in to join this conversation.
Reviewers
No Reviewers
Labels
No items
No Label
Milestone
No items
No Milestone
Projects
Clear projects
No project
Assignees
Clear assignees
alexion
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: alexion/dev#21
Delete Branch "migrate-grill-skill"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?