Skip to content

add primer document #19

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

Merged
merged 3 commits into from
Apr 7, 2017
Merged

add primer document #19

merged 3 commits into from
Apr 7, 2017

Conversation

knimura
Copy link
Contributor

@knimura knimura commented Apr 7, 2017

Signed-off-by: knimura [email protected]

knimura added 3 commits April 7, 2017 12:45
Signed-off-by: knimura <[email protected]>
Signed-off-by: knimura <[email protected]>
@zolkis
Copy link
Contributor

zolkis commented Apr 7, 2017

+1

Nit: if there are multiple commits, name them differently.

@h0ru5
Copy link
Contributor

h0ru5 commented Apr 7, 2017

👍 , thanks @knimura.
@zolkis I'd recommend to squash upon merging anyways

@h0ru5 h0ru5 mentioned this pull request Apr 7, 2017
@zolkis
Copy link
Contributor

zolkis commented Apr 7, 2017

@h0r5s I am not an admin on this repo, can't set/change merge behaviour. IMHO we should allow both merge commits and squash merging. There may be reasons for both in a PR. In this PR, all should be squashed.

@zolkis zolkis merged commit 786fe60 into w3c:master Apr 7, 2017
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.

3 participants