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

Add CI repos to stats #247

Merged

Conversation

christophfroehlich
Copy link
Contributor

Add CI repos to stats

@christophfroehlich christophfroehlich merged commit 51ff137 into ros-controls:master Feb 18, 2024
5 of 6 checks passed
@christophfroehlich christophfroehlich deleted the add_repos branch February 18, 2024 14:10
@christophfroehlich
Copy link
Contributor Author

@Mergifyio backport iron humble

Copy link
Contributor

mergify bot commented Feb 18, 2024

backport iron humble

✅ Backports have been created

mergify bot pushed a commit that referenced this pull request Feb 18, 2024
(cherry picked from commit 51ff137)
mergify bot pushed a commit that referenced this pull request Feb 18, 2024
(cherry picked from commit 51ff137)
christophfroehlich added a commit that referenced this pull request Feb 18, 2024
(cherry picked from commit 51ff137)

Co-authored-by: Christoph Fröhlich <[email protected]>
christophfroehlich added a commit that referenced this pull request Feb 18, 2024
(cherry picked from commit 51ff137)

Co-authored-by: Christoph Fröhlich <[email protected]>
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