A simple bot that forwards github issue emails to the whonix-devel mailing list