Comment and close at github after an issue or patch.