use git diff to generate file list
git diff --name-only master
add ext filter
use git diff to generate file list
git diff --name-only master
add ext filter
#!/usr/bin/env bash | |
# | |
# Check if source branch has been already merged into destination branch | |
# https://stackoverflow.com/questions/226976/how-can-i-know-if-a-branch-has-been-already-merged-into-master | |
# | |
git_is_merged () { | |
merge_destination_branch=$1 | |
merge_source_branch=$2 |
If a project has to have multiple git repos (e.g. Bitbucket and Github) then it's better that they remain in sync.
Usually this would involve pushing each branch to each repo in turn, but actually Git allows pushing to multiple repos in one go.
If in doubt about what git is doing when you run these commands, just