Closed timhot closed 5 years ago
Perhaps do this when there are no active pull requests in case it causes confusion?
That's probably a good idea although it shouldn't matter as Github handles repo renames quite well.
done
Perhaps do this when there are no active pull requests in case it causes confusion?