git archive-file: change base ARCHIVE_NAME by halostatue · Pull Request #1071 · tj/git-extras
Navigation Menu
{{ message }}
tj / git-extras Public
- Notifications You must be signed in to change notification settings
- Fork 1.2k
Merged
spacewander merged 1 commit intotj:masterfrom
halostatue:change-git-archive-file-basename
Sep 13, 2023Merged
git archive-file: change base ARCHIVE_NAME#1071
spacewander merged 1 commit intotj:masterfrom
halostatue:change-git-archive-file-basename
git archive-file: change base ARCHIVE_NAME#1071
spacewander merged 1 commit intotj:masterfrom
halostatue:change-git-archive-file-basename
Conversation
Copy link Copy Markdown
Contributor
halostatue
commented
Sep 11, 2023
halostatue
commented
Closes #1067
This makes the base ARCHIVE_NAME for git-archive-file to be the name
of the repo root directory instead of the name of the current directory.
spacewander approved these changes Sep 12, 2023
bin/git-archive-file
Outdated
Show resolved
Hide resolved
bin/git-archive-file Outdated Show resolved Hide resolved
Closes #1067 This makes the base ARCHIVE_NAME for `git-archive-file` to be the name of the repo root directory instead of the name of the current directory.
spacewander approved these changes Sep 13, 2023
spacewander
merged commit
db71be5
into
tj:master
halostatue
deleted the
change-git-archive-file-basename
branch
chenrui333
mentioned this pull request
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters. Learn more about bidirectional Unicode characters
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
2 participants