Den tis 11 aug. 2020 kl 13:46 skrev Olivier Lamy <[email protected]>: > On Tue, 11 Aug 2020 at 19:40, Dennis Lundberg <[email protected]> > 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 >
The pull requests are created automatically when you edit the github page. > > > > > 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 :) > I agree :) > > > > > -- > > 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 > > > > > > > > -- > Olivier Lamy > http://twitter.com/olamy | http://linkedin.com/in/olamy >
