https://github.com/racket/gnats-bugs

18 views
Skip to first unread message

Stephen De Gabrielle

unread,
Jun 18, 2020, 6:19:30 AM6/18/20
to dev
Hi, 

Is there any value in migrating bug reports in https://github.com/racket/gnats-bugs that do not have the status `closed`?

I note that this database was still active in 2019. So perhaps a cutoff date of 2015?

Kind regards, 

Stephen


Matthias Felleisen

unread,
Jun 18, 2020, 7:29:52 AM6/18/20
to Stephen De Gabrielle, dev

Sam has been on it for about a decade. 



--
You received this message because you are subscribed to the Google Groups "Racket Developers" group.
To unsubscribe from this group and stop receiving emails from it, send an email to racket-dev+...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/racket-dev/CAGHj7-Kb%2BjrtMBBFTroFXY%3D1w4s_xzGzSz0GACDVWU52QQ7q6Q%40mail.gmail.com.

Sam Tobin-Hochstadt

unread,
Jun 18, 2020, 7:34:46 AM6/18/20
to Stephen De Gabrielle, dev
Yes, if you're interested in working on this, let me know off-list -- I've already written a lot of code in this direction. 

Sam

Stephen De Gabrielle

unread,
Jun 18, 2020, 7:58:22 AM6/18/20
to Matthias Felleisen, dev
Sam was kind enough to move the gnats database(text files!) to its own repo last week.

Now the database is available we have the opportunity to scrape the repo for open issues.

I'll look at creating a simple.

S.
 
Reply all
Reply to author
Forward
0 new messages