Skip to content
This repository has been archived by the owner on Jun 19, 2023. It is now read-only.

Remove redundant 'been' #438

Open
wants to merge 1 commit into
base: develop
Choose a base branch
from
Open

Remove redundant 'been' #438

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion git-flow-bugfix
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -814,7 +814,7 @@ r,[no]remote Delete remote branch
git_remote_branch_delete "$BRANCH"
fi
else
die "bugfix branch '$BRANCH' has been not been merged yet. Use -f to force the deletion."
die "bugfix branch '$BRANCH' has not been merged yet. Use -f to force the deletion."
fi
fi

Expand Down
2 changes: 1 addition & 1 deletion git-flow-feature
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -815,7 +815,7 @@ r,[no]remote Delete remote branch
git_remote_branch_delete "$BRANCH"
fi
else
die "Feature branch '$BRANCH' has been not been merged yet. Use -f to force the deletion."
die "Feature branch '$BRANCH' has not been merged yet. Use -f to force the deletion."
fi
fi

Expand Down
2 changes: 1 addition & 1 deletion git-flow-hotfix
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -715,7 +715,7 @@ r,[no]remote Delete remote branch
git_remote_branch_delete "$BRANCH"
fi
else
die "Hotfix branch '$BRANCH' has been not been merged in branch '$MASTER_BRANCH' and/or branch '$DEVELOP_BRANCH'. Use -f to force the deletion."
die "Hotfix branch '$BRANCH' has not been merged in branch '$MASTER_BRANCH' and/or branch '$DEVELOP_BRANCH'. Use -f to force the deletion."
fi
fi

Expand Down
2 changes: 1 addition & 1 deletion git-flow-release
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -1100,7 +1100,7 @@ r,[no]remote Delete remote branch
git_remote_branch_delete "$BRANCH"
fi
else
die "Release branch '$BRANCH' has been not been merged in branch '$MASTER_BRANCH' and/or branch '$BASE_BRANCH'. Use -f to force the deletion."
die "Release branch '$BRANCH' has not been merged in branch '$MASTER_BRANCH' and/or branch '$BASE_BRANCH'. Use -f to force the deletion."
fi
fi

Expand Down