Skip to content

Commit

Permalink
Merge branch 'mr/fofanov/gnatkp-issue-template' into 'master'
Browse files Browse the repository at this point in the history
Add template for gnatkp detector request issue

See merge request eng/libadalang/langkit-query-language!203
  • Loading branch information
t-14 committed Apr 23, 2024
2 parents 41704d1 + 034dc9a commit e585fa0
Showing 1 changed file with 5 additions and 0 deletions.
5 changes: 5 additions & 0 deletions .gitlab/issue_templates/gnatkp_detector.md
@@ -0,0 +1,5 @@
KP detector for [impactdb origin]

Corresponding impactdb entry: eng/it/impact-db#[impactdb issue]

/label ~"Category::kpdetector"

0 comments on commit e585fa0

Please sign in to comment.