Should /p redirect to /projects?

Since projects will live at /p/snowdrift or /p/whatever, some people ever might do the URL edit to just /p (and we did used to use that URL). Today, we have /projects instead.

It would be trivial to make /p redirect to /projects. How about we do that?

P.S. Should I have just made an issue with no discussion, or is discussing here first good?

1 Like

Sounds good to me. I’d think it would have been fine to create this as an issue. Will you create one now?

1 Like

Tagged with all the quick, easy, patches welcome stuff… this is so trivial, I could have done it in the time it took to make the issue (and even you, @msiep — as a non-programmer non-haskeller — could easily figure it out). I’ll leave it as something for a newcomer to get their name on a commit…