Can we rename this thing? about ash-nazg HOT 6 CLOSED

Got a proposal? :)

"ipr-checker" ?

or maybe we should run an Internet poll and end up with more flavored names :)

from ash-nazg.

McIPRFace? 😃

ipr-checker is better. At least easier to remember than what I now call, "ash-gnash-nasty-g"

On 28 May 2016, at 12:15 AM, Philippe Le Hegaret [email protected] wrote:

Got a proposal? :)

"ipr-checker" ?

or maybe we should run an Internet poll and end up with more flavored names :)

—
You are receiving this because you authored the thread.
Reply to this email directly, view it on GitHub, or mute the thread.

from ash-nazg.

Checky McCheckFace 😮

from ash-nazg.

are you suggesting changing the name of the github repo or the name in the deployed instance? To put it differently, which of the two do you have trouble finding?

from ash-nazg.

The deployed instance. Like, with the WICG, when someone wants a new repo, I need to add it to "gash-nash-smash"... so I end up going to the W3C github org to try to remember what the thing is called and to find the URL (yes, I've never heard of bookmarks either 😄).

from ash-nazg.

it has now moved to https://labs.w3.org/hatchery/repo-manager/

from ash-nazg.