push access for richb

[John Crispin]

Hi,

richb has been doing a lot of very solid documentation work over the
last years which went beyond 'just' writing docs. he has sent a few PRs
last week that had been pending due to people being to busy with other
stuff, which is a bit of a shame. personally I would like to see him
have push access, so that he can just push documentation work that he
does himself in future.

	John