title: How can I check whether a branch has been merged into another branch?
body: <p>In command line, how can I check whether a branch has been merged into another branch, and if yes, find out which branch it has been merged into?</p>