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.

Sign up for GitHub

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

Jump to bottom

Foccci ccs #140

Merged
merged 8 commits into from
Jan 5, 2025
Merged

Foccci ccs #140

merged 8 commits into from
Jan 5, 2025

Conversation

Tom-evnut
Copy link
Collaborator

Rename Focci to correct Foccci

Tom-evnut
Tom-evnut commented Jan 4, 2025
View reviewed changes
Copy link
Collaborator Author

@Tom-evnut Tom-evnut left a comment

Choose a reason for hiding this comment

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

Changes only on Foccci naming and change of 2 Foccci related files

damienmaguire
damienmaguire previously approved these changes Jan 5, 2025
View reviewed changes
@Tom-evnut
Copy link
Collaborator Author

So many small issues being resolved. Best not need mass renames, takes ages to do right.

@damienmaguire damienmaguire merged commit 37a7415 into damienmaguire:master Jan 5, 2025
1 check passed
@damienmaguire
Copy link
Owner

Thanks Tom

@Tom-evnut Tom-evnut deleted the FOCCCI_CCS branch January 28, 2025 14:56
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@damienmaguire damienmaguire damienmaguire left review comments

@jsphuebner jsphuebner Awaiting requested review from jsphuebner jsphuebner is a code owner

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@Tom-evnut @damienmaguire