| commit | 7b7f78f51dc5a2c307330af0d4e53faced34726f | [log] [tgz] |
|---|---|---|
| author | Bram Moolenaar <Bram@vim.org> | Wed Jul 29 19:29:23 2020 +0200 |
| committer | Bram Moolenaar <Bram@vim.org> | Wed Jul 29 19:29:23 2020 +0200 |
| tree | fd592f49c2129d88d4e7e81d4ffcd8cbe855f4e7 | |
| parent | 33afa2447bdb0bdd15253c69a2cf6f9903685815 [diff] [blame] |
patch 8.2.1321: GitHub CI also runs on tag push Problem: GitHub CI also runs on tag push. Solution: Skip CI on push. (Ken Takata, closes #6571)
diff --git a/src/version.c b/src/version.c index b81ac06..db2e9b4 100644 --- a/src/version.c +++ b/src/version.c
@@ -755,6 +755,8 @@ static int included_patches[] = { /* Add new patch number below this line */ /**/ + 1321, +/**/ 1320, /**/ 1319,