Re: [ANNOUNCE] Issue migration Jira to GitHub starts on Monday, August 22

2022-08-25 Thread Dawid Weiss
It looks great, thank you for this monumental effort, Tomoko. Dawid On Wed, Aug 24, 2022 at 9:19 PM Tomoko Uchida wrote: > > > > Issue migration has been completed (except for minor cleanups). > This is the Jira -> GitHub issue number mapping for possible future usage. > https://github.com/apac

Re: [ANNOUNCE] Issue migration Jira to GitHub starts on Monday, August 22

2022-08-25 Thread Michael McCandless
Thank you Tomoko! It looks AWESOME! I will work on fixing jirasearch to index from GitHub ... Mike On Thu, Aug 25, 2022 at 4:32 AM Vigya Sharma wrote: > Love this! Thanks for all the hard work, Tomoko. > - > Vigya > > > On Wed, Aug 24, 2022 at 12:27 PM Michael Sokolov > wrote: > >> Thanks! I

Re: [ANNOUNCE] Issue migration Jira to GitHub starts on Monday, August 22

2022-08-25 Thread Vigya Sharma
Love this! Thanks for all the hard work, Tomoko. - Vigya On Wed, Aug 24, 2022 at 12:27 PM Michael Sokolov wrote: > Thanks! It seems to be working nicely. > > Question about the fix-version: tagging. I wonder if going forward we > want to main that for new issues? I happened to notice there is a