Hi, I'm currently cleaning up my local CMake branches. What is a good way to find out whether some branch has been merged into master ? Right now I was looking through "git log" to see whether the commits are in master. Alex