WIP: make tags be files in a dir instead of lines in a file #34

Draft
soup wants to merge 7 commits from tags-dir into main
Owner
No description provided.
This will be useful testing (and general consistency) when tags are
files in a directory instead of lines in a file, and thus subject to
random directory order.
Renaming everything also means they have new creation-times, since we're
now git logging a different file/dir.
This is more conflict resistant than the old encoding where tags was a
file with a line per tag.
This pull request has changes conflicting with the target branch.
  • src/issue.rs
View command line instructions

Checkout

From your project repository, check out a new branch and test the changes.
git fetch -u origin tags-dir:tags-dir
git switch tags-dir

Merge

Merge the changes and update on Forgejo.

Warning: The "Autodetect manual merge" setting is not enabled for this repository, you will have to mark this pull request as manually merged afterwards.

git switch main
git merge --no-ff tags-dir
git switch tags-dir
git rebase main
git switch main
git merge --ff-only tags-dir
git switch tags-dir
git rebase main
git switch main
git merge --no-ff tags-dir
git switch main
git merge --squash tags-dir
git switch main
git merge --ff-only tags-dir
git switch main
git merge tags-dir
git push origin main
Sign in to join this conversation.
No reviewers
No labels
No milestone
No project
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference
taproot-manufacturing/entomologist!34
No description provided.