Type what you want to exit (github)