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
> > 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 :)