Thanks Olivier, I was just following our release process at https://maven.apache.org/developers/release/maven-project-release-procedure.html
Under step 2 of "Promote the release" it says "In case there's an overview table with version (e.g. plugins <https://maven.apache.org/plugins/index.html> and shared <https://maven.apache.org/shared/index.html>) you can directly edit it on the github page." Should i change those instructions to push to master if you have those permissions? -- Dennis Lundberg Den tis 11 aug. 2020 kl 13:29 skrev Olivier Lamy <[email protected]>: > 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 >
