Skip to content
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

Fix misalignment of repo name #395

Merged
merged 2 commits into from
Aug 19, 2024
Merged

Conversation

rkent
Copy link

@rkent rkent commented Jun 17, 2024

Fixes #394

I'm a little confused as to why this has not been reported before or fixed, it really is a simple issue. But here is the fix, just remove the extra

@rkent
Copy link
Author

rkent commented Jul 18, 2024

I'm a little confused why Github reports "added 2 commits last month" when the second commit Also fix misalignment issues in packages was just added. But as the commit message says, the same issues exist in packages as in repos, so I added those as well.

Copy link
Member

@tfoote tfoote left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks for the cleanup

@tfoote tfoote merged commit 47234be into ros-infrastructure:ros2 Aug 19, 2024
1 check passed
@rkent rkent deleted the fix_repo_align branch September 2, 2024 17:52
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.

repo name shows in packages column when repo missing in a distro
2 participants