Skip to content
This repository was archived by the owner on Nov 2, 2023. It is now read-only.

Updates from old website #7

Merged
merged 26 commits into from
Aug 9, 2016
Merged

Conversation

awwright
Copy link
Member

@awwright awwright commented May 3, 2016

Import all the updates from json-schema/json-schema#gh-pages since this group was created.

Before merging this, delete the gh-pages branch from https://github.com/json-schema/json-schema - @Julian can you take care of this step?

Veli Pehlivanov and others added 25 commits June 26, 2015 17:46
Add JSEN to the list of JavaScript validators
Added a Java schema generator to the website.
Added wjelement-cpp to list of implementations
Site: Added my project NJsonSchema to the implementation list
adding everit-org/json-schema to the list implementations
added Data Generation tool in implementations list
Added the python client library and the command line client.
Add Dart package to implementations
@Relequestual
Copy link
Member

I'm not sure deleting the gh-pages repo is the right thing to do here.
I think we want all the changes made to the old orgs gh-pages branch... don't we?
Then, just update the contributing.md to redirect people to the new one (as well as removing the cname file)

@Relequestual
Copy link
Member

Missed the fact that the PR was not from the json-schema org repo. Would say it's most likely fine to delete the old branch first. Thoughts @Julian ?

@Julian
Copy link
Member

Julian commented May 3, 2016

I should have permissions to do that, will have a look when I get to a computer

@Julian
Copy link
Member

Julian commented May 3, 2016

OK, done.

@Julian
Copy link
Member

Julian commented May 3, 2016

That appears to have 404'ed json-schema.org - I haven't been following very closely clearly -- are we waiting on a DNS change here?

@awwright
Copy link
Member Author

awwright commented May 3, 2016

@Julian Looks good from my end now, note it has the new website/project links

@awwright
Copy link
Member Author

awwright commented May 3, 2016

@Julian Now just merge in this PR and it should be good

@Relequestual
Copy link
Member

Tag: Has conflicts... =/

@awwright
Copy link
Member Author

awwright commented Aug 2, 2016

When did this happen... sigh

@awwright
Copy link
Member Author

awwright commented Aug 2, 2016

Let's try this

Though I hope I didn't clobber any updates with the conflict resolution

@Relequestual
Copy link
Member

I suggest waiting till I hear back from github support re the domain name fix

@Relequestual
Copy link
Member

OK. As some of you know Github say the custom domain is now cleared. Who wants to push the merge button? =s

@awwright
Copy link
Member Author

awwright commented Aug 4, 2016

@Relequestual There's only three people who can do that

@Relequestual Relequestual merged commit e246b88 into json-schema-org:master Aug 9, 2016
@Relequestual
Copy link
Member

Done... Let's see what happens... =D

@Relequestual
Copy link
Member

Looks like the update took! This means the domain is under "our control", as far as, it points to the correct github repo. Cool!

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.