-
Notifications
You must be signed in to change notification settings - Fork 2
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
clean up after v4.9 release & tei migration #1179
Comments
I'm reverting this cleanup — I did it too quickly, it looks like we need the tei migration code to stick around a little longer to help with cleaning up some problems found after migration (we have at least one case where the TEI had the wrong id, and it seems easiest to just rename the file and migrate it so it gets attached to the correct PGPID) |
@blms - should this be closed? |
Not sure @richmanrachel, I'm not using the TEI migration script anymore so maybe it can be removed and the issue closed. Thoughts @rlskoeser? |
I hope we're not still using it at this point! based on my notes I removed and then put it back? so let's remove the old code and then close this. @blms is that appropriate for you to handle? |
Yes I can do that @rlskoeser! |
Done! |
The text was updated successfully, but these errors were encountered: