Merge branch 'master' into feature/formatting

Author: gnikit

.github/ISSUE_TEMPLATE/bug_report.md

@@ -4,6 +4,7 @@ about: Create a report to help us improve
 title: ''
 labels: bug
 assignees: ''
+
 ---
 
 **Describe the bug**

.github/ISSUE_TEMPLATE/feature_request.md

@@ -4,6 +4,7 @@ about: Suggest an idea for this project
 title: ''
 labels: feature-request
 assignees: ''
+
 ---
 
 **Is your feature request related to a problem? Please describe.**

.github/ISSUE_TEMPLATE/other-issue.md

@@ -0,0 +1,13 @@
+---
+name: Other issue
+about: Any other issue not covered by the above templates
+title: ''
+labels: ''
+assignees: ''
+
+---
+
+**Describe the issue**
+PLEASE CHECK THAT THE ISSUE HAS NOT ALREADY BEEN POSTED.
+
+Provide a clear and concise description of what the problem is. Ex. I'm always frustrated when [...]

.github/ISSUE_TEMPLATE/syntax-highlighting.md

@@ -4,6 +4,7 @@ about: Create a bug report for erroneous syntax highlighting
 title: ''
 labels: syntax-highlight
 assignees: ''
+
 ---
 
 **Describe the bug**

.github/workflows/publish.yml

@@ -1,7 +1,6 @@
 on:
-  push:
-    tags:
-      - '*'
+  release:
+    types: [published]
 
 name: Deploy Extension
 jobs: