Skip to content

Housekeeping obsolete stuff#928

Merged
ahouseholder merged 2 commits intomainfrom
cleanup
Aug 28, 2025
Merged

Housekeeping obsolete stuff#928
ahouseholder merged 2 commits intomainfrom
cleanup

Conversation

@ahouseholder
Copy link
Contributor

Relocate some obsolete files and scripts from the old PDF-oriented workflow. We haven't been maintaining these for a few years now.

@ahouseholder ahouseholder self-assigned this Aug 27, 2025
@ahouseholder ahouseholder added tech/environment Project environment, deployment, CI, etc. tech/backend Back-end tools, code, infrastructure labels Aug 27, 2025
@ahouseholder ahouseholder added this to the 2025-09 milestone Aug 27, 2025
Copy link
Contributor

@sei-vsarvepalli sei-vsarvepalli left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

easy-peasy..

@ahouseholder ahouseholder merged commit 4806f08 into main Aug 28, 2025
5 checks passed
@ahouseholder ahouseholder deleted the cleanup branch August 28, 2025 15:35
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

tech/backend Back-end tools, code, infrastructure tech/environment Project environment, deployment, CI, etc.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants