Re: Need help merging pull requests for maven-site

On Tue, 11 Aug 2020 at 20:37, Dennis Lundberg wrote: > Den tis 11 aug. 2020 kl 13:46 skrev Olivier Lamy : > > > On Tue, 11 Aug 2020 at 19:40, Dennis Lundberg > > wrote: > > > > > Thanks Olivier, > > > > > > I was just following our release process at > > > > > > > > > https://maven.apache.org/de

Re: Need help merging pull requests for maven-site

Den tis 11 aug. 2020 kl 13:46 skrev Olivier Lamy : > On Tue, 11 Aug 2020 at 19:40, Dennis Lundberg > 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 anyth

Re: Need help merging pull requests for maven-site

On Tue, 11 Aug 2020 at 19:40, Dennis Lundberg 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 ste

Re: Need help merging pull requests for maven-site

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 an

Re: Need help merging pull requests for maven-site

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 wrote: > Hi, > > During the release I've made recently I have u

Need help merging pull requests for maven-site

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