I filed the issue for the name search: https://issues.apache.org/jira/browse/PODLINGNAMESEARCH-51
On Wed, Jun 18, 2014 at 9:22 PM, Julian Hyde <[email protected]> wrote: > On Jun 18, 2014, at 2:31 AM, Robert Metzger <[email protected]> wrote: > > > I've finished the import of the issues from GitHub to JIRA. > > > > I would recommend to switch over to JIRA now. > > Agreed. > > Thank you, Robert. > > I have disabled issues in github. (You can still create pull-requests.) > > As a side-effect, URLs for fixed issues no longer work, but since the > numbers are preserved, you can easily find the issue. For example, > https://github.com/julianhyde/optiq/issues/127 is now at > https://issues.apache.org/jira/browse/OPTIQ-127. > > I have created https://issues.apache.org/jira/browse/OPTIQ-303 to migrate > URLs in code. > > Julian > >
