jamuluswebsite Rename repository to jamulus.io or "website"

The name jamuluswebsite is long to type and redundant in our organization. I think we should think about renaming this repo to something short like jamulus.io or website.

What do you think?

Oct 06 '22 20:10 ann0see

I do not need this name change as far as I am concerned. But I have no objection to changing the name to a shorter and clearer one. jamulus.io' sounds like a good idea.

Oct 07 '22 05:10 jujudusud

I agree that jamulus.io would have been the more natural choice. Changing it now might need some coordination and checking though as people would have to update their Git configs, etc.

I thought the website might have been available at jamuluswebsite.github.io now, but it seems like it isn't so there is nothing to break in that place. :)

Oct 10 '22 19:10 hoffie

might have been available at jamuluswebsite.github.io n

It was at the beginning, but it no longer is.

Oct 10 '22 19:10 ann0see