Rename 'Github' to 'GitHub'

json-ld / json-ld.org

JSON for Linked Data's documentation and playground site

https://json-ld.org/

Other

852 stars 151 forks source link

Rename 'Github' to 'GitHub' #811

Closed veyndan closed 11 months ago

veyndan commented 11 months ago

GitHub should be stylized with a capital "H".

Generated the PR by executed find . -type f -exec sed -i '' "s/Github/GitHub/g" {} + from the project root.

davidlehn commented 11 months ago

I don't think any of the historical dated specs should be changed, regardless of the correction. They are meant to be a snapshot in time.
This adds an empty .ico file.

veyndan commented 11 months ago

@davidlehn Updated the PR with the proposed changes

veyndan commented 11 months ago

Other than index.html, the other files obsolete. Best practices should probably reference the WG Note.

@gkellogg How could I go about doing that? Would I just delete the non-index.html files here and replace the links with a reference to the WG note? What/where is the WG note?

gkellogg commented 11 months ago

In other cases, we've both updated .htaccess to forward, and added some HTML. For example see https://github.com/json-ld/json-ld.org/blob/main/spec/latest/.htaccess. Also, the test suite has an HTML redirect:

https://github.com/json-ld/json-ld.org/blob/f4b8dc9bb04ea3983a8c49bbe69913f6ff118989/test-suite/index.html#L10