GitHub organization repositories#3243
Conversation
|
👋 Hi! Thank you for this contribution! Just to let you know, our GitHub SDK team does a round of issue and PR reviews twice a week, every Monday and Friday! We have a process in place for prioritizing and responding to your input. Because you are a part of this community please feel free to comment, add to, or pick up any issues/PRs that are labeled with |
|
Done, thanks for the quick review @deiga! |
deiga
left a comment
There was a problem hiding this comment.
Just a few more comments :)
Co-authored-by: Timo Sand <timo.sand@iki.fi>
Co-authored-by: Timo Sand <timo.sand@iki.fi>
deiga
left a comment
There was a problem hiding this comment.
LGTM! @stevehipwell WDYT?
stevehipwell
left a comment
There was a problem hiding this comment.
Thanks for the PR @borchero. I've added a few review comments.
| Computed: true, | ||
| Elem: &schema.Resource{ | ||
| Schema: map[string]*schema.Schema{ | ||
| "repo_id": { |
There was a problem hiding this comment.
| "repo_id": { | |
| "repository_id": { |
This would be more consistent, although given that we're using name below maybe this should be id? WDYT @deiga?
There was a problem hiding this comment.
I think we use repo_id somewhere else as well.
But I agree that either we use repository_id or just id. The latter is harder to grep but cleaner to use 🤔
I think I'm leaning towards just id
|
@stevehipwell friendly ping :) |
|
@borchero Nothing friendly about pinging on an unrebased PR |
|
Sorry @deiga, I felt like this was in a fine state since there was no conflict with |
Resolves #2484, supersedes #2485 which I cannot reopen
Before the change?
see issue
After the change?
github_organization_repositoriesdata source providing details about all repositories in an organizationPull request checklist
Does this introduce a breaking change?
Please see our docs on breaking changes to help!