Setup spec-prod - Githubissues

w3c / media-source

Media Source Extensions

https://w3c.github.io/media-source/

Other

268 stars 58 forks source link

Setup spec-prod #270

Closed saschanaz closed 3 years ago

saschanaz commented 3 years ago

This requires some prior steps before merging:

Renaming the current branch to main (rather than creating main, so that the existing PRs can be automatically redirected)
Create gh-pages again
Make sure the new gh-pages branch does not require approval for commits

Preview | Diff

saschanaz commented 3 years ago

@tidoust could you review this?

tidoust commented 3 years ago

Default branch name for the repo has been switched to main. I re-created gh-pages (and told GitHub to publish that branch). I don't think specific approvals are needed but I'll adjust if something breaks...

I'll go ahead and merge. Thanks @saschanaz!

saschanaz commented 3 years ago

It went well, yay!

wolenetz commented 3 years ago

Thank you for doing this, @saschanaz and @tidoust