I'm not sure if we've had other discussion around this topic, so i'll just use this thread to continue on the topic of the issue tracker. At this point, we have our mirror to github, pull request integration is working nicely and we have a separate thread going about getting Travis integration running against the mirror - all excellent.
I'm now turning my attention to migrating the issues in the old tinkerpop3 repository to a new home. I assume that home is JIRA - two questions: 1. how do we get that setup? do i create a JIRA ticket in INFRA? 2. is there a known, easy way to migrate all of our github issues to JIRA? i found this https://answers.atlassian.com/questions/133617/moving-to-jira-from-github-issues but don't know if it's good or not. Thanks, Stephen On Fri, Feb 6, 2015 at 12:10 PM, Rob Vesse <[email protected]> wrote: > Marko > > Not an Infra person I'm afraid, just an interested (and very new) IPMC > member trying to help answer your projects questions where I can > > Dave as VP Infra can better advise on what needs to be done to get a GitHub > mirror, I honestly don't know if this is automatic or if you'll need to > file > a JIRA > > Rob > > From: Marko Rodriguez <[email protected]> > Date: Friday, 6 February 2015 08:44 > To: "[email protected]" > <[email protected]> > Cc: David Nalley <[email protected]>, Rob Vesse <[email protected]> > Subject: Setting up GitHub Issues? --- or do we go JIRA? > > > Hi David/Rob, > > > > We have asked Rob to set up the Apache TinkerPop mirror on GitHub. > > > > https://github.com/apache/tinkerpop > > > > Stephen and I see that mirrors allow Pull Requests. Can we just use the > issue > > tracker on GitHub mirror as well OR do we have to go JIRA. Our > preference, is > > GitHub mirror issue tracker. > > > > Thank you very much, > > Marko. > > > > http://markorodriguez.com > > > > >
