Here is a PR renaming the directory. If there is no objection, will plan on merging tomorrow.
Cc: @ihnorton
1 Like
Following the review of @ihnorton, the change has been merged.
Just wanted to quickly check about the decision status. Has it been decided if GitHub will be the new home for the Project Week pages (i.e. should I add my projects there)?
Yes, numerous projects have been added already, please add yours there too.
Is there some description of how to add the project page? Apparently I don’t have write access, so I should fork and issue a pull request? Or something else?
Also, I tried pw.na-mic.org, and it redirects to mantis.
See