I'm about to try it out with the first issue. If everything goes well, I should be done within 2 hours. I'll add links to the original GitHub issue.
On Sun, Jun 8, 2014 at 5:51 PM, Stephan Ewen <[email protected]> wrote: > The migration tool would be cool. How much time do you think it will need? > > If it is a lot of work, we can migrate the relevant open issues manually. > For issues that we do not understand or cannot reproduce, we can post a > comment to the issue, asking for updates/status. If they are not answered > within a week, we would close the issue. >
