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
{{ message }}
This repository was archived by the owner on Jul 29, 2021. It is now read-only.
If we ever integrate with different issue tracking systems (like Jira), the key for an issue won't necessarily be a number like it is in GitHub. Jira issues, for example, are of the form ABC-123, so it will have to be a string. We should probably store the GitHub issue number as a string and just convert it to an int when needed to interface w/ the GitHub API.