Hi Dennis I just merged your pr. But for those changes just push to master branch you do not really need approval and it's a bit useless... (and this will avoid some notifications noise)
On Tue, 11 Aug 2020 at 19:25, Dennis Lundberg <[email protected]> wrote: > Hi, > > During the release I've made recently I have updated maven-site@github > with > the new versions and release dates. These turn into pull requests that have > now been approved. However I seem to lack some permissions (or knowledge) > to merge these pull requests from the GitHub UI. > > Can someone point me in the right direction, or help me merge these: > https://github.com/apache/maven-site/pull/189 > https://github.com/apache/maven-site/pull/192 > https://github.com/apache/maven-site/pull/193 > > Thanks in advance, > Dennis Lundberg > -- Olivier Lamy http://twitter.com/olamy | http://linkedin.com/in/olamy
