bug tracker

[Qian Yun]

Hi all,

Do we all agree that "GitHub Issues" should be the official bug
tracker for FriCAS?

If so, I'd like to do:

1. Manually migrate open bugs from sourceforge to github.

2. Add open bugs that are scattered through mailing list.

3. Add other bugs which are sitting in my notes.


The advantage is that we have a central place to tracking all
bugs, we can add labels to them and add additional information.

- Qian

[Ralf Hemmecke]

A clear yes from me.

Posting bugs to the fricas-devel list has the disadvantage that they
might stay open and become forgotten.

Thank you for taking care of this.

Ralf

[Waldek Hebisch]

On Mon, Nov 30, 2020 at 07:48:12PM +0800, Qian Yun wrote:
> Hi all,
>
> Do we all agree that "GitHub Issues" should be the official bug
> tracker for FriCAS?

Yes. Most important part is that there should be single
bug tracker.

> If so, I'd like to do:
>
> 1. Manually migrate open bugs from sourceforge to github.
>
> 2. Add open bugs that are scattered through mailing list.
>
> 3. Add other bugs which are sitting in my notes.
>

Good. When info is transferred I will look into removing/
hiding sourceforge bug tracker.

> The advantage is that we have a central place to tracking all
> bugs, we can add labels to them and add additional information.
>
> - Qian
>

> --
> You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to fricas-devel...@googlegroups.com.
> To view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/fe692287-68bf-0b3f-50d9-a9c24f675c36%40gmail.com.

--
Waldek Hebisch