Comment Comment by boltzmann-brain that isn't much of a problem - git repositories can be re-hosted somewhere else. carrying the bug tracker over is another issue entirely. parent boltzmann-brain 9 months ago