summaryrefslogtreecommitdiff
path: root/Documentation/git-sh-i18n--envsubst.txt
diff options
context:
space:
mode:
authorLibravatar Johannes Schindelin <johannes.schindelin@gmx.de>2020-10-08 15:29:34 +0000
committerLibravatar Junio C Hamano <gitster@pobox.com>2020-10-08 11:58:37 -0700
commit7d78d5fc1a91b683dde970e5e48b6d9a873cfd99 (patch)
tree2caae41cbec5b94319cbb32573100a06e1ad1cf2 /Documentation/git-sh-i18n--envsubst.txt
parentGit 2.29-rc0 (diff)
downloadtgif-7d78d5fc1a91b683dde970e5e48b6d9a873cfd99.tar.xz
ci: skip GitHub workflow runs for already-tested commits/trees
When pushing a commit that has already passed a CI or PR build successfully, it makes sense to save some energy and time and skip the new build. Let's teach our GitHub workflow to do that. For good measure, we also compare the tree ID, which is what we actually test (the commit ID might have changed due to a reworded commit message, which should not affect the outcome of the run). Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de> Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/git-sh-i18n--envsubst.txt')
0 files changed, 0 insertions, 0 deletions