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

Remove document policy from this repo. #416

Merged
merged 3 commits into from
Dec 11, 2020
Merged

Conversation

clelland
Copy link
Collaborator

This removes the document policy spec and associated machinery from this repository,
and updates references to point to the new location at WICG. A redirect is put in
place from the old spec location to the new one.

Closes: #411

This removes the document policy spec and associated machinery from this repository,
and updates references to point to the new location at WICG. A redirect is put in
place from the old spec location to the new one.
@annevk
Copy link
Member

annevk commented Dec 11, 2020

(This looked okay, but Travis seems to disagree I see now...)

@clelland
Copy link
Collaborator Author

I put in a static file to redirect from /document-policy.html to the new repo location, since that's something that GitHub won't automatically do, and there may be existing references to that location.

Or at least I attempted to do that. I didn't include the file with the commit, so Travis was understandably confused.

@clelland clelland merged commit ab4fa82 into master Dec 11, 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.

Move Document Policy
2 participants