On Sat, Jan 20, 2018 at 8:39 AM, Oliver Heger <oliver.he...@oliver-heger.de> wrote: > > > Am 15.01.2018 um 18:04 schrieb Oliver Heger: >> Hi, >> >> Am 14.01.2018 um 00:33 schrieb Bindul Bhowmik: >>> Hello, >>> >>> It seems notifications from the commons-configuration GitHub mirror >>> are not setup to go to any commons mailing list. >>> >>> I opened a trivial pull request - #10 [1], but I don't see any emails >>> on any commons lists for this pull request [2] (well this thread will >>> show up on the search after it makes it to the archives :-)) >>> >>> Similar searches for other commons components show emails, like [3] and [4]. >> >> thank you for the pull request - I will have a look. >> >> Regarding missing mail notifications, I am not sure whether this could >> be caused by the fact that [configuration] still uses SVN and is not yet >> properly setup for a Github integration. Switching to Git is somewhere >> on my Todo list, but I have not yet found the time to do this. >> >> Oliver > > The patch has been applied in revision r1821751. I also republished the > web site, so that it shows now the correct version number. > > Thanks again for the patch.
Thank you for merging the patch, somehow I did not notice the patch. I have closed the PR now. Bindul > > Oliver > >> >>> >>> Bindul >>> >>> [1] https://github.com/apache/commons-configuration/pull/10 >>> [2] >>> https://lists.apache.org/list.html?*@commons.apache.org:dfr=2018-1-11|dto=2018-1-13:apache/commons-configuration/pull/ >>> >>> [3] >>> https://lists.apache.org/list.html?*@commons.apache.org:dfr=2018-1-11|dto=2018-1-13:apache/commons-io/pull/ >>> [4] >>> https://lists.apache.org/list.html?*@commons.apache.org:dfr=2018-1-11|dto=2018-1-13:apache/commons-lang/pull/ >>> >>> --------------------------------------------------------------------- >>> To unsubscribe, e-mail: dev-unsubscr...@commons.apache.org >>> For additional commands, e-mail: dev-h...@commons.apache.org >>> >> >> --------------------------------------------------------------------- >> To unsubscribe, e-mail: dev-unsubscr...@commons.apache.org >> For additional commands, e-mail: dev-h...@commons.apache.org >> > > --------------------------------------------------------------------- > To unsubscribe, e-mail: dev-unsubscr...@commons.apache.org > For additional commands, e-mail: dev-h...@commons.apache.org > --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@commons.apache.org For additional commands, e-mail: dev-h...@commons.apache.org
