Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
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
Issue mirrorer #2578
Issue mirrorer #2578
Changes from 1 commit
6b9ab36
b67c97a
cfa8ce3
a656960
064787e
8240766
aab47ff
70261a2
0ed201a
9759a5e
1383c49
5d0b412
5e670a8
71c7d36
19852d9
a5520a2
4407afb
325dfa7
c8bfdd6
5296123
bc0b382
e5f266f
6f1ed6b
8b36b53
2765c59
eb09218
2bf3e0e
35e6676
7692849
69b1598
bbbe401
0acc5cb
988a844
d5e402e
134bddd
935c47d
c694cdb
0633099
f172611
0a77db4
aacb838
21f1470
108ddc0
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
nit re naming: We can just call this
get_issue
to avoid code stutter.so callers will call
github.get_issue
instead of the repetitivegithub.get_github_issue
. Same with other functions in this file, e.g.file_github_issue
and more.There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Ah, that makes sense.
Fixing now, thanks!