[Discuss-gnuradio] Issue tracker updates: Moving to github

[Martin Braun]

Hi everyone,

as you may have noticed, we've moved our issue tracker to github. Issues
can be posted here now: https://github.com/gnuradio/gnuradio/issues

The old issue tracker will be readable for a little (this one:
http://gnuradio.org/redmine/projects/gnuradio/issues) in case we messed
something up in the transition. As a matter of fact, the hacked-up Ruby
script that I used to transfer the issues missed some comments in some
of the issues.

I'm assuming that most of you are familiar with the issue tracker system
that github provides. One thing that's different from before is whom we
can assign bugs to. In Redmine, it was everyone who had created a
Redmine account, now it's anyone who's in the gr-dev github team. We're
very happy to add people to that team, since it means more people we can
assign bugs :)

Let me know if you have any questions with this transition!

Cheers,
Martin