Should we change from Jira to Github Issues?

Hi,

In the OTP team we are considering to start using Github issues for bug
reporting instead of the Jira system we are using today (
https://bugs.erlang.org).

The main driving factor is a better integration with pull requests and
repositories which are on Github anyway.
We also believe that it is positive for the community, since there is
already quite a lot of Erlang and Elixir projects using Github issues.

I know that this discussion was brought up when we decided to choose Jira
instead of Github issues but now the situation is different.

I want your opinions.

/Kenneth, Erlang/OTP , Ericsson