Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

#187 Dev Gloss cleanup #198

Closed
wants to merge 9 commits into from
Closed

Conversation

xXCrash2BomberXx
Copy link
Contributor

No description provided.

@xXCrash2BomberXx xXCrash2BomberXx self-assigned this Mar 13, 2024
@xXCrash2BomberXx xXCrash2BomberXx linked an issue Mar 13, 2024 that may be closed by this pull request
@xXCrash2BomberXx xXCrash2BomberXx changed the title Dev Gloss cleanup #187 Dev Gloss cleanup Mar 18, 2024
@thehabes
Copy link
Member

I think we are all OK with running this. @xXCrash2BomberXx and @thehabes will coordinate a time to run this as a paired coding effort. We cannot really test it without running it, so we will follow a procedure

This PR is considered complete for now. We will consider this issue complete once we have gone through the procedure mentioned above. It is likely we will not accept this PR since we don't really want this code in the repo proper. However, we will want to hold on to this script once we are sure it works. We are likely to need to run it again in the near future.

@cubap cubap closed this May 28, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Too Many Dev Glosses
4 participants