- From: Eric Eggert <ee@w3.org>
- Date: Wed, 02 Mar 2016 22:08:27 +0100
- To: "EO Editors Mailinglist" <wai-eo-editors@w3.org>
Hi all, dropping this here because I think it is useful for working together in the future: https://pullapprove.com/ is a service that lets you specify who can approve/review pull requests on Github. For example one could specify that a change to the tutorials needs to be approved by me and Shadi, and only then the merge pull request button would show up. We might also be able to integrate group approval somehow (through a special user and the Github API, for example). Cheers, Eric -- Eric Eggert Web Accessibility Specialist Web Accessibility Initiative (WAI) at World Wide Web Consortium (W3C)
Received on Wednesday, 2 March 2016 21:13:44 UTC