Closed unfrostedpoptart closed 3 years ago
Hi.
I haven't been on veripool for a while and I see that at least the Issues have all been moved to GitHub. Can you please explain what's going on and why?
Thanks, David
Development has moved to github as you noticed. Github is a much more popular and modern platform with continuous integration.
Hi.
I haven't been on veripool for a while and I see that at least the Issues have all been moved to GitHub. Can you please explain what's going on and why?
Thanks, David