Closed mattpap closed 4 years ago
Note that after rename the old URLs (e.g. remotes) will still work and redirect to the new ones.
fixes #72
Note that after rename the old URLs (e.g. remotes) will still work and redirect to the new ones.
fixes #72