https://github.com/bemanproject/website (private): Not used. If we make a new website, probably it needs to have a specific name (e.g., if used with google pages).
I have no problem with removing them. Website might be the only one to keep…
With website why would it need a specific name? I thought the discussion was to host with github – but I can also keep hosting it. My personal opinion is that I would never want to depend on google to host something for us – others may disagree.
With website why would it need a specific name? I thought the discussion was to host with github – but I can also keep hosting it. My personal opinion is that I would never want to depend on google to host something for us – others may disagree.
My bad. “google pages” → “git pages” (my mistake). And I found that the name of the repo can be changed from the git pages website config. Sorry, please ignore that mention.
Hey I know this is fine for this specific case. But I would prefer a longer notice period as I only saw the notification after they are deleted… 12hrs is not enough…
It is pretty clear those repos are not in use so this is understandable.
I think nobody is actually coding to a website right now. We started discussing about a new website in last sync. Will continue discussing before actually pick a solution/direction.
I think it’s to keep this empty repo, probably will start the website there.
Yeah the website repo history is that Hana DusĂková took a swing at creating this during c++Now – but she liked the wordpress better at the time so we went with that. I don’t think it’s really interfering with whomever starts working on the new site.