diff --git a/tools/insert_git_commit_link.sh b/tools/insert_git_commit_link.sh index 900d8bf..44d8a0d 100755 --- a/tools/insert_git_commit_link.sh +++ b/tools/insert_git_commit_link.sh @@ -4,7 +4,7 @@ if [[ "$COMMIT_SHA" && "$SHORT_SHA" ]]; then target="" replace=" [${SHORT_SHA}]#" + style='font-size:80%'>${SHORT_SHA}]" sed -i'' -e "s^$target^$replace^g" src/frontend/templates/footer.html