Some pull requests are rather trivial to approve and merge (e.g. small doc fixes, typo fixes), and it would be nice if a pull requester could tag a pull as "trivial" when the pull is made. Otherwise I guess we could start using a convention and add [trivial] before the title? I think it might help speed up the merging process.