Re: GitHub pull requests without JIRA issue

2017-01-01 Thread Hervé BOUTEMY
on "since these pages are managed via cms.apache.org/" these pages are managed through svn, ie either edited locally or through CMS. CMS is necessary only to build and publish the generated content then for site, a PR is sufficient in general: will be integrated manually to svn Regards, Hervé L

Re: GitHub pull requests without JIRA issue

2017-01-01 Thread Robert Scholte
Hi Mirko, The JIRA for these pages is MNGSITE, but is often not required (tracking such changes don't really have value) A PR is hard, since these pages are managed via cms.apache.org/ These changes have a small workflow and and can be published within minutes. Robert On Sun, 01 Jan 2017

GitHub pull requests without JIRA issue

2017-01-01 Thread Mirko Friedenhagen
Hello PMCs et al, I commented on a PR on GitHub a while ago with a change to documentation of the Maven site plugin. This slipped through my fingers and now the reporter asked how to submit patches to the Apache Maven project. I guess this is documented here ( https://maven.apache.org/guides/deve