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.

Sign up for GitHub

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

Jump to bottom

Drop Edge Mobile from schema #4443

Closed
wants to merge 1 commit into from
Closed

Drop Edge Mobile from schema #4443

wants to merge 1 commit into from

Conversation

ddbeck
Copy link
Collaborator

@ddbeck ddbeck commented Jul 4, 2019 •
edited
Loading

There's no more Edge Mobile feature data in master, we ought to drop Edge Mobile from the browser data, schema, docs, and linter. Part of #3888.

@ddbeck ddbeck added schema Isses or pull requests regarding the JSON schema files used in this project. infra Infrastructure issues (npm, GitHub Actions, releases) of this project data:browsers Data about browsers (versions, release dates, etc). This data is used for validation. labels Jul 4, 2019
@ddbeck ddbeck requested a review from Elchi3 as a code owner July 4, 2019 10:00
@queengooborg
Copy link
Contributor

Already beat you to the punch here, teehee! This is actually a duplicate of #4280. 😛

@ddbeck
Copy link
Collaborator Author

ddbeck commented Jul 4, 2019

@vinyldarkscratch oh wow, I have no idea how I missed that. 😆 Closing this one!

@ddbeck ddbeck closed this Jul 4, 2019
@ddbeck ddbeck deleted the drop-edge-from-schema branch July 4, 2019 11:32
@Elchi3 Elchi3 removed their request for review July 9, 2019 12:43
@queengooborg queengooborg added the duplicate Duplicate issues or pull requests. This one is closed in favor of the other issue or pull request. label Jul 20, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
data:browsers Data about browsers (versions, release dates, etc). This data is used for validation. duplicate Duplicate issues or pull requests. This one is closed in favor of the other issue or pull request. infra Infrastructure issues (npm, GitHub Actions, releases) of this project schema Isses or pull requests regarding the JSON schema files used in this project.
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@ddbeck @queengooborg