Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Support for API Elements #445

Merged
merged 7 commits into from Apr 26, 2016
Merged

Support for API Elements #445

merged 7 commits into from Apr 26, 2016

Conversation

honzajavorek
Copy link
Contributor

@honzajavorek honzajavorek commented Apr 15, 2016

Experimental version of Dredd with support for API Elements. Fixes #388.

@netmilk netmilk mentioned this pull request Apr 15, 2016
12 tasks
@honzajavorek honzajavorek force-pushed the honzajavorek/api-elements branch 3 times, most recently from 9cd4a87 to 4249ad6 Compare April 21, 2016 13:35
@honzajavorek honzajavorek force-pushed the honzajavorek/api-elements branch 2 times, most recently from 4d040a5 to c95ed2f Compare April 21, 2016 13:53
@w-vi
Copy link
Member

w-vi commented Apr 26, 2016

@honzajavorek Haven't got time to do thorough detailed review but I haven't noticed anything suspicious so if nobody else volunteers go ahead and let's wait for new issues :)

👍

@honzajavorek honzajavorek merged commit 5797d06 into master Apr 26, 2016
@honzajavorek honzajavorek deleted the honzajavorek/api-elements branch April 26, 2016 18:30
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants