git log --date=short --branches --since=3.months.ago --author=xyz
git log --all --grep='maRecherche'
$ git checkout develop
$ git branch --contains <branch_name> // e.g git branch --contains feature/FEAT-05#upload-picture
// If branch appears in list => already merged