> yes, without doing merge commits, i cannot figure out from the commit > itself that it a9b02e7 came from this pull request: #1360
That's what I meant above when I said that this is "not the workflow envisioned by GitHub". > you could [do stuff]. As I said I do consider changing my workflow to make GitHub users happy. -- Reply to this email on GitHub: https://github.com/monitoring-plugins/monitoring-plugins/pull/1360#issuecomment-145018569
