Meta: add commit and branch snapshots #83
Merged
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This moves the deploy process to be in line with most other WHATWG specifications; see whatwg/meta#2. It also adds the missing dfn.js file to get popups when clicking on <dfn> elements and makes other small tweaks.
6 tasks
|
I guess at this point we should make this use the central deploy script? |
|
We'd need to add emu-algify to the central deploy script first, for both this and streams... I guess I should work on that. |
|
wow thats super cool! (and no worries, i don't cling to to the makefile)
I assume this isn't blocking the merge? |
|
LGTM / +1 |
robertkowalski
approved these changes
Feb 14, 2017
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
This moves the deploy process to be in line with most other WHATWG specifications; see whatwg/meta#2. It also adds the missing dfn.js file to get popups when clicking on elements and makes other small tweaks.
I know @robertkowalski did a lot of work to move the deploy process into the makefile, but we're pretty much using this similar deploy.sh script for all other repos, so it's probably best to be uniform.
Let's see if Travis likes this as a PR...