Bram Moolenaar 7b7f78f51d 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)

2020-07-29 19:29:23 +02:00

..

ISSUE_TEMPLATE

Update feature_request.md

2020-05-17 15:17:26 +02:00

workflows

patch 8.2.1321: GitHub CI also runs on tag push

2020-07-29 19:29:23 +02:00

FUNDING.yml

patch 8.1.1370: not using the new github feature for donations

2019-05-23 20:42:10 +02:00