Indicate GitHub issue number in flash message when necessary