I agree that it would be confusing, especially if we create a Github Issues copy of it, so maybe this is another thing that needs to be taken care of while migrating, and if that’s not easy to do, then maybe it’s not worth it.
I agree that it would be confusing, especially if we create a Github Issues copy of it, so maybe this is another thing that needs to be taken care of while migrating, and if that’s not easy to do, then maybe it’s not worth it.