Merge branch 'master' of http://git.d-popov.com/popov/scripts

git/git combine multiple commits.md

@@ -77,6 +77,8 @@ git checkout -b review-branch $earliestCommitHash^
 git apply changes.patch
 
 
+# search for 'App_Code' in commit msgs
+git log --all --grep="App_Code"
 
 # push to new remote branch (if not existing)
  git push -u origin main