Skip to content

Remove a bit less from the archives#214

Open
dra27 wants to merge 3 commits intotrunkfrom
export-ignore-a-bit-less
Open

Remove a bit less from the archives#214
dra27 wants to merge 3 commits intotrunkfrom
export-ignore-a-bit-less

Conversation

@dra27
Copy link
Copy Markdown
Owner

@dra27 dra27 commented Jul 21, 2025

No description provided.

@dra27 dra27 added the no-change-entry-needed Causes the check for a Changes entry to be skipped for PRs label Jul 21, 2025
@dra27 dra27 force-pushed the export-ignore-a-bit-less branch from 9ee0d74 to 1a1ab91 Compare July 21, 2025 11:33
dra27 added 3 commits July 21, 2025 22:04
CI scripts and Git configuration aren't required on end-user machines.
All the programs and infrastructure remain, but the tests are removed.
@dra27 dra27 force-pushed the export-ignore-a-bit-less branch from 1a1ab91 to e811389 Compare July 21, 2025 21:04
@dra27 dra27 force-pushed the export-ignore-a-bit-less branch 2 times, most recently from 1a1ab91 to e811389 Compare September 13, 2025 15:44
@dra27 dra27 force-pushed the export-ignore-a-bit-less branch 2 times, most recently from 1a1ab91 to e811389 Compare November 28, 2025 21:55
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

no-change-entry-needed Causes the check for a Changes entry to be skipped for PRs

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant