Closed matthiasdiener closed 3 years ago
I saw this too, but:
So I think removing this is premature.
I saw this too, but:
- It'll keep working in the presence of the rename.
- Removing it now will break the workflow of folks who run a new emirge with an old mirgecom.
So I think removing this is premature.
Ok, but I'll document this at least.
Ok, but I'll document this at least.
Fair point.
ready for review.
cc https://github.com/illinois-ceesd/mirgecom/pull/136