[Apiman-user] Where should I register issues?

Hi, Could you tell me where APIMAN issues should be registered? As I undertstand, official bug tracking system (the one that is provided in APIMAN web page) is: https://issues.jboss.org/projects/APIMAN However, people also register tickets in github where the source code is: https://github.com/apiman So where should I register tickets: - jboss ? - github ? - both ? Best regards, Tomas