Making Working Group Repo Names Consistent

So some of our working group repos are prefixed with wg- while others are suffixed with -wg. Using the Github Team Naming Conventions as a guide, I’ll be renaming all the repos so that they are prefixed with wg-.

This will mean the following repo changes:

GitHub redirects should take care of most issues but, if you see any issues please post here and I’ll work to fix it.

The change will take place around 2023-01-12T15:00:00Z.

3 Likes

A little late but this work is now done. Let me know if you see any issues.