I have a random feature/XXXXXXX branch that has some commits and naturally the "develop" branch where those features are eventually merged.
How do I check if a certain old commit (e.g. commit ab123456 from branch feature/user-registration) has been somehow brought/merged to my currently active branch (e.g. develop)? Either by directly merging the feature branch to develop or by going up/merged through some other intermediary branch.
Through git commands or through SourceTree UI, both ways are equally suitable for me.