Skip to content

recipe: add helpful - #3002

Merged
alexott merged 2 commits into
dimitri:masterfrom
alexg0:recipe/add-helpful
Feb 15, 2026
Merged

alexott merged 2 commits into
dimitri:masterfrom
alexg0:recipe/add-helpful

Conversation

@alexg0

@alexg0 alexg0 commented Feb 8, 2026

Copy link
Copy Markdown
Contributor

This updates recipes/helpful.rcp from local recipe backports.

Validation:

  • Parsed recipe form in batch Emacs (read succeeds).
  • Branch contains one commit and only this recipe file diff.

@alexott
alexott merged commit 124861b into dimitri:master Feb 15, 2026
7 checks passed
@alexg0
alexg0 deleted the recipe/add-helpful branch February 17, 2026 16:28
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.

2 participants