Send quick bug reports to Github