Skip to content
This repository has been archived by the owner on Nov 19, 2024. It is now read-only.

chore: rename to flat-head #8

Merged
merged 1 commit into from
Aug 19, 2024
Merged

chore: rename to flat-head #8

merged 1 commit into from
Aug 19, 2024

Conversation

suchapalaver
Copy link
Collaborator

@suchapalaver suchapalaver commented Aug 16, 2024 •
edited
Loading

@suchapalaver suchapalaver marked this pull request as draft August 16, 2024 17:42
@suchapalaver suchapalaver marked this pull request as ready for review August 16, 2024 17:54
@suchapalaver suchapalaver requested a review from pedrohba1 August 16, 2024 17:55
pedrohba1
pedrohba1 approved these changes Aug 19, 2024
View reviewed changes
Copy link
Collaborator

@pedrohba1 pedrohba1 left a comment

Choose a reason for hiding this comment

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

I checked if there was nowhere else with flat_head just to be sure. Nothing popped, so I will approve this

@suchapalaver suchapalaver merged commit a3f3a4e into main Aug 19, 2024
4 checks passed
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@pedrohba1 pedrohba1 pedrohba1 approved these changes

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
@suchapalaver @pedrohba1