Issue templates on GitHub repository

[Grégory Vanuxem]

Hello,

For my work-in-progress FriCAS addon maintained at
https://github.com/gvanuxem/jlfricas (small Julia support for FriCAS),
I added two issue templates, customized "Bug report" and "Feature
request". That allows me to back up some of my TODO list file.

What about adding this to the official FriCAS GitHub repository? It's
easy to add, see:
https://docs.github.com/en/communities/using-templates-to-encourage-useful-issues-and-pull-requests/configuring-issue-templates-for-your-repository

This is very practical, that would allow users/developers of FriCAS to
specify if they want a new feature or if they fill a bug. I
encountered this in the past for FriCAS when I wanted a new feature to
FriCAS but actually FriCAS GitHub issue does not really allow this. I
discovered this feature yesterday. Moreover, the templates
would help the person who fill the issue to not forget important
informations needed by
FriCAS developers or volunteers, for example, FriCAS version, a way to
reproduce, concise explanation etc. You can test this at
https://github.com/gvanuxem/jlfricas/issues, you just have to create
an issue to see this feature. Of course, don't save it.

Regards,

Greg

[Grégory Vanuxem]

My apologies, the principal (only?) advantage of using templates is to
give necessary informations needed to the issuer to fill it.
Apparently, only "official" developers who have write access can
assign a label to the issue. It's a pity that the user can not inform
that this is a bug, a feature request etc., and can be easily readable
from the list of issues. From what I have seen only specifying it in
the title is the way to do.

Greg