Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[infra] Add an issue template for jnigen #820

Merged
merged 1 commit into from
Nov 21, 2023
Merged

Conversation

HosseinYousefi
Copy link
Member

No description provided.

@github-actions github-actions bot added type-infra A repository infrastructure change or enhancement package:jni labels Nov 21, 2023
@HosseinYousefi HosseinYousefi enabled auto-merge (squash) November 21, 2023 15:04
@coveralls
Copy link

Coverage Status

coverage: 92.632%. remained the same
when pulling 54ac328 on jnigen-issue-template
into 3153a35 on main.

@@ -0,0 +1,5 @@
---
name: "package:jnigen"
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Do we also add one for package:jni? I'm not aware of anyone using that package by itself as of yet.

Copy link
Member Author

@HosseinYousefi HosseinYousefi Nov 21, 2023

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

For now I combined the two. Most users – not familiar with the inner workings of the packages – won't know whether the bug or feature they're requesting is related to package:jni or package:jnigen.

@HosseinYousefi HosseinYousefi merged commit 6dc1c84 into main Nov 21, 2023
18 checks passed
@HosseinYousefi HosseinYousefi deleted the jnigen-issue-template branch November 21, 2023 16:56
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
package:jni type-infra A repository infrastructure change or enhancement
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants