search

orcmid / miser

The Miser Project is practical demonstration of computation-theoretical aspects of software
https://orcmid.github.io/miser/
Apache License 2.0
3 stars 1 forks source link

Convert Appropriate Issues to Discussions #36

Open orcmid opened 3 years ago

orcmid commented 3 years ago

Now that Discussions (beta) are available, identify every issue that is better identified as a Discussion with label "discussion" and then bulk convert those to the Discussions topic.

<!-- From the Discussion greeting text (illustrating the value of XML/HTML comments in Markdown:

đź”— If you use issue templates, link any relevant issue templates such as questions and community conversations to Discussions. Declutter your issues by driving community content to where they belong in Discussions. If you need help, here's a link to the documentation.

➡️ You can convert issues to discussions either individually or bulk by labels. Looking at you, issues labeled “question” or “discussion”. -->

orcmid commented 3 years ago

After I went through and did "discussion" labelling of issues (including addition of lable "task"), I could not find a way to make a bulk conversion.

I did find where to convert individual issues -- it is an action on the sidebar of each issue. So I did trhat, adding a discussion category each time.

I need to figure out how cross-referencing between issues and discussions work, and how that is handled in Git commit messages. It appears that there is only a single sequence of such identifiers and it will all work. This needs to be confirmed.