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

[WIP] WebExtensions crate #62

Closed
wants to merge 5 commits into from
Closed

[WIP] WebExtensions crate #62

wants to merge 5 commits into from

Conversation

OddCoincidence
Copy link
Contributor

Sharing what I have right now for #21. Any feedback will be very much appreciated! Thanks to @Pauan for their help so far.

@fitzgen
Copy link
Member

fitzgen commented Apr 1, 2019

Thanks for creating a PR @OddCoincidence.

However, I'd like to see more design discussion and an API proposal before we rush to PRs. That is, I'd like ideally PRs to be unsurprising and where we don't ahve any design kinks to work out, and we do all the drafting and design discussion in the issue thread beforehand.

@OddCoincidence
Copy link
Contributor Author

Ah, okay, that's fair. I'll just close this then.

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.

2 participants