approving pull requests for working group documents

It occurs to me that it should be unnecessary to specially ask for reviews of 
pull requests by editors of document.  All editors should be notified by email 
when a pull request is created.  If they do not respond then their concurrance 
can be assumed.

After a suitable period of time any editor can merge the pull request if there 
are no non-approving reviews.  I propose one working day for typographical 
changes, two working days for simple editorial changes, and one week for 
substantive changes.


peter