Can someone explain to me how github works? I tell admins about a bug on Minds and they make a 'card' or something on github about it. So how does it work? Who fixes the bug?