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

twis55 #69

Merged
merged 4 commits into from Mar 15, 2016
Merged

twis55 #69

merged 4 commits into from Mar 15, 2016

Conversation

@larsbergstrom
Copy link
Contributor

larsbergstrom commented Mar 14, 2016

r? @jdm @Manishearth


This change is Review on Reviewable

- mrobinson [simplifed](https://github.com/servo/servo/pull/9962) the display list representation
- antrik continued to [fix](https://github.com/servo/servo/pull/9948) tricky ipc-channel edge cases
- larsberg [added](https://github.com/servo/saltfs/pull/239) support for ARM 32-bit and 64-bit cross-compiles to our CI
- kichjang [redesigned](https://github.com/servo/servo/pull/9217) `ScriptMsg`

This comment has been minimized.

@nox

nox Mar 14, 2016

Member

KiChjang

This comment has been minimized.

@KiChjang

KiChjang Mar 14, 2016

Member

That's correct, just no capitalization (and I don't really care that much).

This comment has been minimized.

@KiChjang

KiChjang Mar 14, 2016

Member

However, I didn't really "redesign 'ScriptMsg'", it's more like I redesigned the messaging system in the script_thread to utilize the HTML DOM manipulation task source.

This comment has been minimized.

@larsbergstrom

larsbergstrom Mar 14, 2016

Author Contributor

I don't really capitalize any of the IRC usernames when I mention notable additions. I'm open to feedback on changing that or using real names, but it should be something we can do consistently.

This is probably a holdover from an old Microsoft habit - we used to refer to everybody by their usernames. Mozilla does that for everything EXCEPT in person OR when speaking directly to someone in e-mail, and it kinda makes my head hurt :-)

This comment has been minimized.

@Manishearth

Manishearth Mar 14, 2016

Member

I used to consistently use real names in the past, except when one wasn't available. However, this is harder to automate since real names may be on github or as part of their email.


In the [last week](https://github.com/pulls?page=1&q=is%3Apr+is%3Amerged+closed%3A2016-03-07..2016-03-14+user%3Aservo), we landed 78 PRs in the Servo organization's repositories.

I'm pleased to announced that [Aneesh Agrawal](https://github.com/aneeshusa) has become a reviewer! He is a major contributor to the [Saltstack](https://github.com/saltstack/salt/) project, and has been providing contributions and feedback on our CI infrastructure for a long time now. Thanks for all your help, Aneesh!

This comment has been minimized.

@Manishearth

Manishearth Mar 14, 2016

Member

we should also mention the bhtml alpha release and call for participation

This comment has been minimized.

@asajeffrey

asajeffrey Mar 14, 2016

Member

"We" rather than "I"?


### Screenshot

None this week.

This comment has been minimized.

@asajeffrey

asajeffrey Mar 14, 2016

Member

Is there not a cool browser.html screenshot we could use?

This comment has been minimized.

@metajack

metajack Mar 14, 2016

Contributor

There should be. Pinging @paulrouget

@jdm
Copy link
Member

jdm commented Mar 14, 2016

Looks good to me.

larsbergstrom added a commit that referenced this pull request Mar 15, 2016
@larsbergstrom larsbergstrom merged commit 3800059 into gh-pages Mar 15, 2016
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Linked issues

Successfully merging this pull request may close these issues.

None yet

7 participants
You can’t perform that action at this time.