W3C home > Mailing lists > Public > public-iip-admin@w3.org > October to December 2018

Merging pull requests

From: r12a <ishida@w3.org>
Date: Wed, 12 Dec 2018 10:28:04 +0000
To: public-iip-admin@w3.org
Message-ID: <b7949442-ed16-b9f8-344d-aa91c7ff8ad8@w3.org>
hi Alolita, all,

Do you have any minutes arising from your recent call?

In particular, i'd like to know whether i can merge the two PRs i have 
outstanding, before i create another.  The longer the PRs are open, the 
more chance there is for conflicts, so i'd like to merge asap. (They 
don't need to be perfect, btw. We can always change the text again later.)


PS: I'll take the opportunity of this mail to mention that i'm out of 
the office from the end of this week until the second week of January.
Received on Wednesday, 12 December 2018 10:28:08 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:10:38 UTC