Hi, is there any current discussion about moving Git development away from using a mailing list to some modern form of collaboration? I'd like to be able to follow a structured discussion in issues and to contribute to the Git documentation, but the mailing list currently just bloats my personal inbox with loads of uninteresting e-mails in an unstructured waterfall of messy discussion that I am not able to follow professionally. Are you consideration for migrating? Regards, Axel Dahmen