search for: shortlinks

...numbers -- and have it use a file listing the mappings of bugzilla id -> github id to generate the redirects. (GCC just did this recently for svn revision number redirections, https://gcc.gnu.org/pipermail/gcc/2020-April/232030.html). Then we could introduce a new naming scheme for github issue shortlinks. On Mon, Apr 20, 2020 at 3:50 PM Richard Smith via llvm-dev < llvm-dev at lists.llvm.org> wrote: > On Mon, 20 Apr 2020 at 12:31, Tom Stellard via llvm-dev < > llvm-dev at lists.llvm.org> wrote: > >> Hi, >> >> I wanted to continue discussing the plan to migra...

...se a file > listing the mappings of bugzilla id -> github id to generate the redirects. > (GCC just did this recently for svn revision number redirections, > https://gcc.gnu.org/pipermail/gcc/2020-April/232030.html). > > Then we could introduce a new naming scheme for github issue shortlinks. > > On Mon, Apr 20, 2020 at 3:50 PM Richard Smith via llvm-dev < > llvm-dev at lists.llvm.org> wrote: > >> On Mon, 20 Apr 2020 at 12:31, Tom Stellard via llvm-dev < >> llvm-dev at lists.llvm.org> wrote: >> >>> Hi, >>> >>> I wante...

...ile listing the mappings of bugzilla id -> github id to generate the redirects. (GCC just did this recently for svn revision number redirections, https://gcc.gnu.org/pipermail/gcc/2020-April/232030.html). >>> >>> Then we could introduce a new naming scheme for github issue shortlinks. >>> >>> On Mon, Apr 20, 2020 at 3:50 PM Richard Smith via llvm-dev <llvm-dev at lists.llvm.org <mailto:llvm-dev at lists.llvm.org>> wrote: >>> >>> On Mon, 20 Apr 2020 at 12:31, Tom Stellard via llvm-dev <llvm-dev at lists.llvm.org &l...

...ngs of bugzilla id -> > github id to generate the redirects. (GCC just did this recently for svn > revision number redirections, > https://gcc.gnu.org/pipermail/gcc/2020-April/232030.html). > >> > >> Then we could introduce a new naming scheme for github issue > shortlinks. > >> > >> On Mon, Apr 20, 2020 at 3:50 PM Richard Smith via llvm-dev < > llvm-dev at lists.llvm.org <mailto:llvm-dev at lists.llvm.org>> wrote: > >> > >> On Mon, 20 Apr 2020 at 12:31, Tom Stellard via llvm-dev < > llvm-dev at lis...

...irects. (GCC just did this recently for svn revision number redirections, https://gcc.gnu.org/pipermail/gcc/2020-April/232030.html <https://gcc.gnu.org/pipermail/gcc/2020-April/232030.html>). > >>> > >>> Then we could introduce a new naming scheme for github issue shortlinks. > >>> > >>> On Mon, Apr 20, 2020 at 3:50 PM Richard Smith via llvm-dev <llvm-dev at lists.llvm.org <mailto:llvm-dev at lists.llvm.org> <mailto:llvm-dev at lists.llvm.org <mailto:llvm-dev at lists.llvm.org>>> wrote: > >>> > >&gt...

Hi, I wanted to continue discussing the plan to migrate from Bugzilla to Github. It was suggested that I start a new thread and give a summary of the proposal and what has changed since it was originally proposed in October. == Here is the original proposal: http://lists.llvm.org/pipermail/llvm-dev/2019-October/136162.html == What has changed: * You will be able to subscribe to notifications