Skip to content

[pull] master from danielrobbins:master#33

Merged
pull[bot] merged 1 commit into
jynychen:masterfrom
danielrobbins:master
Nov 2, 2025
Merged

[pull] master from danielrobbins:master#33
pull[bot] merged 1 commit into
jynychen:masterfrom
danielrobbins:master

Conversation

@pull

@pull pull Bot commented Nov 2, 2025

Copy link
Copy Markdown

See Commits and Changes for more details.


Created by pull[bot] (v2.0.0-alpha.4)

Can you help keep this open source service alive? 💖 Please sponsor : )

- Fixed release tarball generation to include bash completion script,
  Makefile, source files, and other essential components
- Improved tarball generation to use git archive as source of truth,
  eliminating manual file inventory
- Added bash completion information to man page
- GitHub workflow plumbing work for new /dist tarball location,
  Makefile and CI fixes
@pull pull Bot locked and limited conversation to collaborators Nov 2, 2025
@pull pull Bot added the ⤵️ pull label Nov 2, 2025
@pull pull Bot merged commit 2b3c181 into jynychen:master Nov 2, 2025
1 check passed
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant