You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
We want to know how many issues and PRs are from GitHub users who are not members of the Qiskit GitHub organization. I think Qiskit SDK already does this, so it might only be a question of config.
The bot should add a label called 'community'. It's probably better to have a single label for PRs and issues.
The text was updated successfully, but these errors were encountered:
We want to know how many issues and PRs are from GitHub users who are not members of the Qiskit GitHub organization. I think Qiskit SDK already does this, so it might only be a question of config.
The bot should add a label called 'community'. It's probably better to have a single label for PRs and issues.
The text was updated successfully, but these errors were encountered: