diff options
| author | Luke Shumaker <lukeshu@sbcglobal.net> | 2017-01-14 20:00:45 -0500 |
|---|---|---|
| committer | Luke Shumaker <lukeshu@sbcglobal.net> | 2017-01-14 20:00:45 -0500 |
| commit | f727998817f5473acaa9d6806319bf7e812dc2e1 (patch) | |
| tree | 714a21a9c2a094cda40c7130a28de9994a777443 | |
| parent | 101b4b2920bed595f91b8f2bf07b8b044134d055 (diff) | |
Rename scripts
| -rwxr-xr-x | commit-remove-pointless-commit (renamed from remove-pointless-commit.rb) | 0 | ||||
| -rw-r--r-- | git-filter-branch-magic.txt | 11 | ||||
| -rwxr-xr-x | msg-record-original-commit (renamed from record-original-commit.sh) | 0 |
3 files changed, 0 insertions, 11 deletions
diff --git a/remove-pointless-commit.rb b/commit-remove-pointless-commit index ba33522..ba33522 100755 --- a/remove-pointless-commit.rb +++ b/commit-remove-pointless-commit diff --git a/git-filter-branch-magic.txt b/git-filter-branch-magic.txt deleted file mode 100644 index 8fbd83f..0000000 --- a/git-filter-branch-magic.txt +++ /dev/null @@ -1,11 +0,0 @@ -find . -name .git -prune -o -type d -o -print | grep -v Ant | grep -v ant | xargs rm -f - -# TODO: need to generalize the filtering logic -# git update-index generates no index file if stdin is empty -# this also reduces empty commits as much as possible -# "ant\|Ant" -git filter-branch -f --prune-empty --msg-filter ~/ws/git-filter-branch-tools/record-original-commit.sh --index-filter 'git ls-files -s | grep "Javadoc\|javadoc" | GIT_INDEX_FILE=$GIT_INDEX_FILE.new git update-index --index-info && ((test -f $GIT_INDEX_FILE.new && mv $GIT_INDEX_FILE.new $GIT_INDEX_FILE) || rm -f $GIT_INDEX_FILE)' HEAD - -# remove all the other pointless merges -git filter-branch -f --commit-filter "~/ws/git-filter-branch-tools/remove-pointless-commit.rb \"\$@\"" HEAD - diff --git a/record-original-commit.sh b/msg-record-original-commit index cbb96e1..cbb96e1 100755 --- a/record-original-commit.sh +++ b/msg-record-original-commit |