yes, without doing merge commits, i cannot figure out from the commit itself, that it https://github.com/monitoring-plugins/monitoring-plugins/commit/a9b02e7affe6d940e1fb4830156d06e4d816458b came from this pull request: https://github.com/monitoring-plugins/monitoring-plugins/pull/1360
contrary sample where it can be seen: https://github.com/monitoring-plugins/monitoring-plugins/commit/6a682b379f1b6ef920cae79fae71b38b99dff39d github puts small links to header: master (#1343) and that is very useful when trying to find pull request based on commit hash from git blame -- Reply to this email on GitHub: https://github.com/monitoring-plugins/monitoring-plugins/pull/1360#issuecomment-145016564
