I have been using GitHub for quite some time now and I usually used to push my feature-branches and then start a Pull Request which I myself merged. I found it helped me keep track of where I merged branches.But recently I have been reading more and more about how Git works and I realised that I can use the merge-commits to refer to when I merged branches.So, what should I do when merging a feature-branch into master:Perform a merge-commit on master and then push it upstream OR Push the local branch and start a Pull Request? I have read Introducing Pull Requests for a 2 person team - merge my own requests? and Whats the work flow with 2 people on a project and Should I open pull requests from a branch on the official repo or my fork? but none of them seem to answer what I am looking for.
Is it better to start a Pull Request or perform a local merge commit on master?
git;github;merging;pull requests