On Tue, Oct 25, 2022 at 1:55 AM Joris Van den Bossche < jorisvandenboss...@gmail.com> wrote:
> > I think the main thing we will miss are the Links (relation between > issues), but we can try to promote some consistent usage of adding > "Duplicate of #...", "Related to #..." in top post of an issue when > appropriate. > If we plan to migrate to GitHub, I think we should add an Issue Template ( https://docs.github.com/en/communities/using-templates-to-encourage-useful-issues-and-pull-requests/configuring-issue-templates-for-your-repository ) to make sure we don't proliferate too many ways to do the same thing in terms of categorizing issues properly
