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

chore: export some terms needed by Badging #823

Merged
merged 6 commits into from
Apr 1, 2020
Merged

Conversation

marcoscaceres
Copy link
Member

@marcoscaceres marcoscaceres commented Nov 11, 2019

This change (choose one):

  • Breaks existing normative behavior (please add label "breaking")
  • Adds new normative requirements
  • Adds new normative recommendations or optional items
  • Makes only editorial changes (only changes informative sections, or
    changes normative sections without changing behavior)
  • Is a "chore" (metadata, formatting, fixing warnings, etc).

Commit message:

  • export "installed web application"
  • export "navigation scope"

For https://github.com/WICG/badging/pull/57/files#r341902107


💥 Error: 500 Internal Server Error 💥

PR Preview failed to build. (Last tried on Apr 1, 2020, 11:01 AM UTC).

More

PR Preview relies on a number of web services to run. There seems to be an issue with the following one:

🚨 Spec Generator - Spec Generator is the web service used to build specs that rely on ReSpec.

🔗 Related URL

Navigation timeout of 30000 ms exceeded

If you don't have enough information above to solve the error by yourself (or to understand to which web service the error is related to, if any), please file an issue.

Copy link
Collaborator

@mgiuca mgiuca left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Cool, thanks for making this change.

Since you added the new term "installed web application", I searched the doc, there are dozens of times where the phrase "installed web application" or "installed" (used as an adjective to describe the installed WA) appear. Could you go through and link all of those to this new term?

Possibly you could move the word "installed" from an alias of "install" to "installed web application".

@marcoscaceres
Copy link
Member Author

Before I can merge the two defined terms, I need to add support for data-local-lt:
https://github.com/w3c/respec/issues/2566

But I'll link up what I can.

@marcoscaceres
Copy link
Member Author

I think this should be good to go.

@marcoscaceres marcoscaceres merged commit 9b0c8da into gh-pages Apr 1, 2020
@marcoscaceres marcoscaceres deleted the export branch April 1, 2020 11:21
christianliebel pushed a commit to christianliebel/manifest that referenced this pull request May 27, 2020
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