diff options
author | Joel Challis <git@zvecr.com> | 2020-12-06 12:54:08 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-12-06 12:54:08 +0000 |
commit | 8d6ad23b096ed2fc4d8fd0e6781fca30b87b343f (patch) | |
tree | 49f09a6756a88414286f406a06913d1b986640eb /util | |
parent | a6a12890037c706e67716e28e37432693ba17ace (diff) |
CI: Add workflow for tagging essential modified files (#7384)
* Add workflow for tagging essential modified files
* Update inline with recent actions
* align rules to labeler
* Update .github/workflows/auto_tag.yaml
Diffstat (limited to 'util')
-rwxr-xr-x | util/travis_compiled_push.sh | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/util/travis_compiled_push.sh b/util/travis_compiled_push.sh index 195a87208b..a9c6f028fb 100755 --- a/util/travis_compiled_push.sh +++ b/util/travis_compiled_push.sh @@ -17,30 +17,8 @@ git diff --diff-filter=AM --name-only -n 1 -z ${TRAVIS_COMMIT_RANGE} '*.c' '*.h' git diff --diff-filter=AM --name-only -n 1 -z ${TRAVIS_COMMIT_RANGE} | xargs -0 git add git commit -m "format code according to conventions [skip ci]" && git push git@github.com:qmk/qmk_firmware.git master -increment_version () -{ - declare -a part=( ${1//\./ } ) - part[2]=$((part[2] + 1)) - new="${part[*]}" - echo -e "${new// /.}" -} - git diff --name-only -n 1 ${TRAVIS_COMMIT_RANGE} -NEFM=$(git diff --name-only -n 1 ${TRAVIS_COMMIT_RANGE} | grep -Ev '^(keyboards/)' | grep -Ev '^(docs/)' | grep -Ev '^(users/)' | grep -Ev '^(layouts/)' | wc -l) -if [[ $NEFM -gt 0 ]] ; then - echo "Essential files modified." - git fetch --tags - lasttag=$(git tag --sort=-creatordate --no-column --list '*.*.*' | grep -E -m1 '^[0-9]+\.[0-9]+\.[0-9]+$') - newtag=$(increment_version $lasttag) - until git tag $newtag; do - newtag=$(increment_version $newtag) - done - git push --tags git@github.com:qmk/qmk_firmware.git -else - echo "No essential files modified." -fi - if [[ "$TRAVIS_COMMIT_MESSAGE" != *"[skip build]"* ]] ; then make generate-keyboards-file SILENT=true > .keyboards cd .. |