Fix duplicate declaration of grm
, update grb<*>
#2183
Closed
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Description
Consolidates the
git rebase
aliases thus fixing the unintended overloading ofgrm
.gdel
is outphased as an unclear, non-intuitive sibling ofgbD
(git branch --delete --force).Motivation and Context
grm
is an alias forgit rebase
due to being redeclared after the firstgrm
(git rm). The redeclaration is a bug.Closes #2160.
How Has This Been Tested?
n/a
Screenshots (if appropriate):
n/a
Types of changes
Checklist:
clean_files.txt
and formatted it usinglint_clean_files.sh
.