Skip to content

Conversation

patrickelectric
Copy link
Member

Signed-off-by: Patrick José Pereira [email protected]

@patrickelectric patrickelectric force-pushed the repo_info branch 2 times, most recently from 56707f2 to 310aa46 Compare July 4, 2024 20:13
@patrickelectric patrickelectric changed the title core: services: kraken: manifest: Add RepoInfo Sort extensions by download number Jul 4, 2024
@patrickelectric patrickelectric marked this pull request as ready for review July 4, 2024 20:16
@patrickelectric patrickelectric merged commit 84ed29b into bluerobotics:master Jul 4, 2024
@patrickelectric patrickelectric deleted the repo_info branch July 4, 2024 22:18
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants