$summary
All developers have write access to the kde overlay, so nothing to do.
Sorry about that. I did not realize that I had commit access to the kde overlay.