Please Keep Humans in the Loop (on GitHub Issues)