Closed bhajneet closed 3 years ago
Totals | |
---|---|
Change from base Build 346416254: | 0.0% |
Covered Lines: | 153 |
Relevant Lines: | 153 |
@bhajneet we need to sync this in docs repo too?
@bhajneet we need to sync this in docs repo too?
Where is this synced in the docs repo?
@bhajneet we need to sync this in docs repo too?
Where is this synced in the docs repo?
So it looks like you're still discussing it there with Harjot. I think this PR can go in without needing to resolve that right away
I guess Harjot forgot to reply and I also forgot to ping back. I will sync this one once this gets merged here. Definitely we need a better way to sync docs.
I'd probably rename it to community instead of 3rd party, but not fussed. Change as you see fit, will approve now and LGTM
This pull request's base commit is no longer the HEAD commit of its target branch. This means it includes changes from outside the original pull request, including, potentially, unrelated coverage changes.
Totals | |
---|---|
Change from base Build 346416254: | 0.0% |
Covered Lines: | 153 |
Relevant Lines: | 153 |
Summary of PR
Added a third party ports section
Time spent on PR
5 minutes
Reviewers
@Harjot1Singh