On Tue, 11 Aug 2020 at 19:40, Dennis Lundberg <dennisl.apa...@gmail.com> wrote:
> Thanks Olivier, > > I was just following our release process at > > https://maven.apache.org/developers/release/maven-project-release-procedure.html I do not see anything related to create pull request for such easy change > > > 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? frankly we are adults we do not need instructions to create pr request for such obvious change :) > > -- > Dennis Lundberg > > > Den tis 11 aug. 2020 kl 13:29 skrev Olivier Lamy <ol...@apache.org>: > > > 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 <denn...@apache.org> > 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 > > > -- Olivier Lamy http://twitter.com/olamy | http://linkedin.com/in/olamy
