[git] How can I know if a branch has been already merged into master?